Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4024)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): ICATPN: International Conference on Application and Theory of Petri Nets
Conference proceedings info: ICATPN 2006.
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 (26 papers)
-
Front Matter
-
Full Papers
Keywords
- Monitor
- Petri nets
- Unified Modeling Language (UML)
- bounded Petri nets
- calculus
- complexity
- concurrent systems
- distributed systems
- embedded systems
- formal methods
- modeling
- petri net
- software development
- stochastic Petri nets
- system modeling
Editors and Affiliations
-
Dipartimento di Informatica, Università di Torino, Torino, Italy
Susanna Donatelli
-
School of Computing, National University of Singapore,
P. S. Thiagarajan
Bibliographic Information
Book Title: Petri Nets and Other Models of Concurrency - ICATPN 2006
Book Subtitle: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
Editors: Susanna Donatelli, P. S. Thiagarajan
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/11767589
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2006
Softcover ISBN: 978-3-540-34699-9Published: 13 June 2006
eBook ISBN: 978-3-540-34700-2Published: 21 June 2006
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 441
Topics: Theory of Computation, Software Engineering, Discrete Mathematics in Computer Science, Computer Communication Networks, Processor Architectures, Operating Systems