Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Azema, Pierre (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Balbo, Gianfranco (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Έκδοση: 1st ed. 1997.
• Σειρά: Lecture Notes in Computer Science, 1248
• Θέματα: Computers.; Mathematical logic.; Computer communication systems.; Computer science-Mathematics.; Operating systems (Computers).; Combinatorics.; Theory of Computation.; Mathematical Logic and Foundations.; Computer Communication Networks.; Discrete Mathematics in Computer Science.; Operating Systems.
• Φυσική περιγραφή: IX, 475 p. online resource.
• ISBN: 9783540691877
• ISSN: 0302-9743 ;
• DOI: 10.1007/3-540-63139-9

This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997. The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.