Unifying Petri Nets Advances in Petri Nets /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ehrig, Hartmut (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Juhas, Gabriel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Padberg, Julia (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Έκδοση: 1st ed. 2001.
• Σειρά: Lecture Notes in Computer Science, 2128
• Θέματα: Computers.; Software engineering.; Mathematical logic.; Computer logic.; Computer communication systems.; Computer science-Mathematics.; Computation by Abstract Devices.; Software Engineering/Programming and Operating Systems.; Mathematical Logic and Foundations.; Logics and Meanings of Programs.; Computer Communication Networks.; Discrete Mathematics in Computer Science.

Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful...