Publication year: 2005
ISBN: 978-3-540-31559-9
Internet Resource: Please Login to download book
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
Subject: 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