Petri Nets 2004

Cortadella, Jordi, Technical University of Catalonia, Spain Reisig, Wolfgang, Humboldt University of Berlin, Germany (Eds.) Application and Theory of Petri Nets 2004 25th International Conference on Application and Theory of Petri Nets, ICATPN 2004, Bologna, Italy, June 21-25, 2004 Proceedings 2004, 505 pp., ISBN 3-540-22236-7 This book constitutes the refereed proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN 2004, held in Bologna, Italy in June 2004. The 19 revised full regular papers and 5 revised tool presentation papers presented together with 6 invited papers were carefully reviewed and selected from 62 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, modular systems development, formal specification, model validation, model checking, workflow management, flow charts, networking, formal methods in software engineering, etc. Series: Lecture Notes in Computer Science. Vol. 3099

Proceedings available online via Springer LINK (Germany)

• 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.

• 25th International Conference on Application and Theory of Petri Nets
• June 21-25, 2004, Bologna, Italy
• Hotel reservation deadline: May 10, 2004
• Early registration deadline: April 30, 2004
• Submission deadline: November 15, 2003 (expired)
• URL: http://www.cs.unibo.it/atpn2004

• Announcements:
  • Proceedings of XML4PN now available online
  • Final Programme
  • Call for papers

• Satellite events:
  • Workshop on Petri Nets and Coordination
  • Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets
  • Workshop on Token Based Computing
  • Workshop on Security Issues with Petri Nets and other Computational Models

• Tutorials:
  • Introductory tutorials
  • Advanced tutorial on "What's new in UML 2?"
  • Advanced tutorial on "How to Model and Simulate Biological Pathway with Petri Nets"
  • Advanced tutorial on "Monitor and Control of Discrete Event Systems"

• First International Workshop on Petri Nets and Coordination
• June 21, 2004, Bologna, Italy
• Registration deadline: (visit URL below)
• Relevance: various topics on coordination and Petri nets
• URL: Posting on PetriNets mailing list
• Workshop at the Petri Nets 2004 conference

• Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets
• June 26, 2004, Bologna, Italy
• Registration deadline: (visit URL below)
• Relevance: various topics on interchange format for Petri nets
• URL: http://www.uni-paderborn.de/cs/kindler/events/XML4PN/
• Workshop at the Petri Nets 2004 conference

• International Workshop on Token Based Computing
• June 22, 2004, Bologna, Italy
• Registration deadline: (visit URL below)
• Relevance: Petri nets and concurrency models for digital design and test
• URL: http://www.lsi.upc.es/~jordicf/tobaco04/
• Workshop at the Petri Nets 2004 conference

• 2nd International Workshop on Security Issues with Petri Nets and other Computational Models
• June 26, 2004, Bologna, Italy
• Registration deadline: (visit URL below)
• Relevance: security and Petri nets
• URL: http://www.iit.cnr.it/staff/fabio.martinelli/WISP2004cfp.htm
• Workshop at the Petri Nets 2004 conference