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)
-
Full Papers
-
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
-
Modelling the Structure and Behaviour of Petri Net Agents
-
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
-
Incremental State Space Construction for Coloured Petri Nets
-
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
-
Extending the Petri Box Calculus with Time
-
Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets
About this book
Editors and Affiliations
-
Departamento de Informática e Ingeniería de Sistemas Centro Politécnico Superior, Universidad de Zaragoza, Zaragoza, Spain
José-Manuel Colom
-
Department of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, UK
Maciej Koutny
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