Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5606)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): PETRI NETS: International Conference on Applications and Theory of Petri Nets and Concurrency
Conference proceedings info: PETRI NETS 2009.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (22 papers)
-
Front Matter
-
Full Papers
About this book
Keywords
- DES
- calculus
- hasse diagram
- lattices
- modeling
- modeling language
- modular petri nets
- oclets
- pomset
- reaction systems
- real-time systems
- state space
- structured analysis
- structured design
- token flows
- algorithm analysis and problem complexity
Editors and Affiliations
-
Dipartimento di Informatica, Università del Piemonte Orientale, Alessandria, Italy
Giuliana Franceschinis
-
Institut für Informatik, Universität Rostock, Rostock, Germany
Karsten Wolf
Bibliographic Information
Book Title: Applications and Theory of Petri Nets
Book Subtitle: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings
Editors: Giuliana Franceschinis, Karsten Wolf
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-02424-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-02423-8Published: 09 June 2009
eBook ISBN: 978-3-642-02424-5Published: 18 June 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 353
Topics: Theory of Computation, Discrete Mathematics in Computer Science, Algorithms, Software Engineering, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming