Publication year: 2007
: 978-3-540-73094-1
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.
: 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