Publication year: 2007
ISBN: 978-3-540-73094-1
Internet Resource: Please Login to download book
This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland.
Subject: Computer Science, Variable, bounded Petri nets, calculus, colored Petri nets, concurrent systems, distributed systems, dynamic Petri nets, formal methods, fuzzy Petri nets, model checking, modeling, nets-within-nets, petri net, verification, visualization