Applications and theory of petri nets 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings /
Applications and theory of petri nets 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 : proceedings / [electronic resource] :
PETRI NETS 2009
edited by Giuliana Franceschinis, Karsten Wolf.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- xii, 352 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5606 0302-9743 ; .
9783642024245 (electronic bk.) 9783642024238 (paper)
Petri nets--Congresses.
Computer Science.
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
QA267 / .I56 2009
511.3
9783642024245 (electronic bk.) 9783642024238 (paper)
Petri nets--Congresses.
Computer Science.
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
QA267 / .I56 2009
511.3
