Petri Nets and Other Models of Concurrency - ICATPN 2007
Subtitle: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ... (Lecture Notes in Computer Science
Contributors: Jetty Kleijn (Editor); Alex Yakovlev (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 8, 2007
Language: eng
Format: Paperback
Number of pages: 515
ISBN-13: 9783540730934
Subjects: Mathematical logic; Computers; Computers - General Information; Computer Books: General; Computer Architecture - General; Computer Science; Networking - General; Computers / Computer Science; Petri nets; bounded Petri nets; colored Petri nets; concurrent systems; distributed systems; dynamic Petri nets; formal methods; fuzzy Petri nets; model checking; modeling; nets-within-nets; Programming - Software Development