Time petri nets theory tools and applications part i louchka popova zeugmann humboldt universitat zu berlin department of computer science unter den linden 6 10099 berlin germany atpn 2008 xian china louchka popova zeugmann hu berlin time petri nets atpn 2008 1 76 outline 1 notions and definitions petri net time petri net tpn and turing machines 2 state space motivation . Moreover it also presents many practical applications in addition to theoretical developments together with the latest research results and industrial applications of timed petri nets timed petri nets theory and application is intended for use by researchers and practitioners in the area of discrete event dynamic systems. The present monograph shows the whole spectrum of petri nets applications from classic applications to which the theory is specially dedicated like computer science and control systems through fault diagnosis manufacturing power systems traffic systems transport and down to web applications at the same time the publication describes . In this paper we extend this notion to timed petri nets maintaining the structure of timed processes as occurrence nets but adding time information to the tokens in order to do that we need first to define formally the model of timed petri nets that we consider and then we relate timed step sequences with timed processes obtaining similar results to those for the classical theory of
How it works:
1. Register a Free 1 month Trial Account.
2. Secure Scanned, No Virus Detected.
3. No Commitment. Cancel anytime.
4. Thousands of Satisfied Readers.
5. That's it. What are you waiting for? Sign Up and Get Your Books.