Applications and Theory of Petri Nets 2005
Publication year: 2005
: 978-3-540-31559-9
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new - vancesintheapplicationandtheoryofPetrinets. Several tutorials and workshops were organized within the conf- ence, covering introductory and advanced aspects related to Petri nets.Detailed
: Computer Science, Monitor, Petri nets, Simulation, Software Engineering, automata, calculus, colored Petri nets, concurrency, concurrent systems, distributed computing, distributed systems, flow charts, formal method, formal specification, model checking
