Petri Nets 2001

Colom, J.-M., Universidad de Zaragoza, Spain Koutny, M., University of Newcastle upon Tyne, UK (Eds.) Application and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings 2001, 399 pp., ISBN 3-540-42252-8 This book constitutes the refereed proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001, held in Newcastle upon Tyne, UK in June 2001. The 19 revised full papers presented together with three invited papers were carefully reviewed and selected from 48 submissions. All current issues on research and development of Petri nets are addressed, in particular timed, stochastic, colored, symmetrical, and high-level Petri nets; formal verification, model checking, embedded systems, real-time systems, dependable computing, and state spaces. Series: Lecture Notes in Computer Science.VOL. 2075

Proceedings available online via Springer LINK (Germany or USA)

• Access to tables of contents and abstracts is free for everybody.
• Scientists affiliated with departments/institutes subscribing to LNCS as a whole also have full access to all papers in PDF form.

Official Conference Web Site

Detailed programme and material from various events such as invited lectures.

Photographs

Pictures taken at the banquet, civic reception, workshop and tutorial, and conference.

Announcements

• List of accepted papers
• Call for participation
• Call for tool demonstrations
• Call for papers: HTML, PDF, PostScript

Satellite events

• Introductory Tutorials on Petri nets
• Advanced Tutorial on Probabilistic methods in concurrency
• Advanced Tutorial on Model Checking
• Workshop on Synthesis of Concurrent Systems
• Workshop on Concurrency in Dependable Computing

Call for papers and announcement