Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2075)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (22 papers)
-
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
-
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
-
Partial S-Invariants for the Verification of Infinite Systems Families
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Applications and Theory of Petri Nets 2001
Book Subtitle: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
Editors: José-Manuel Colom, Maciej Koutny
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-45740-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2001
Softcover ISBN: 978-3-540-42252-5Published: 13 June 2001
eBook ISBN: 978-3-540-45740-4Published: 15 May 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 408
Topics: Mathematical Logic and Foundations, Software Engineering, Mathematical Logic and Formal Languages, Computer Communication Networks, Discrete Mathematics in Computer Science, IT in Business
Industry Sectors: IT & Software