www.informatik.uni-hamburg.de/TGI/PetriNets
Petri Nets World Logo
Welcome to the Petri Nets World

The purpose of the Petri Nets World is to provide a variety of online services for the international Petri Nets community. The services constitute, among other things, information on the International Conferences on Application and Theory of Petri Nets, mailing lists, bibliographies, tool databases, newsletters, and addresses. The Petri Nets Steering Committee supervises these activities, and the site is maintained by the TGI group at the University of Hamburg, Germany.

Contents of the Petri Nets World

Overview
OVERVIEW

Introductions
Papers, books, and tutorials which introduces the basic concepts of Petri Nets.

Frequently Asked Questions
Typical occurring questions about Petri Nets. Who is Carl Adam Petri? Which kinds of Petri Nets exist? How is "Petri Nets" written in different languages?

Related Links
Contains miscellaneous links to external Web pages about Petri Nets, related topics, search engines, and special interest groups.

Applications and Artifacts
APPLICATIONS and ARTIFACTS

Tools and Software
Search databases for software packages which support Petri Nets. Also find several online Petri Nets Java Applets.

Success Stories
Case studies on Petri Nets applications in academia and industry.

Standardisation
Follow the current progress of the work on making an ISO standard for high-level Petri Nets. Note also the activity on designing an interchange format for Petri Nets.

Publications
PUBLICATIONS

Bibliographies
Search large publication databases on Petri Nets. In particular the Petri Nets Bibliography contains thousands of entries.

Periodicals
Information on the Petri Net Newsletter. Also contains a listing of similar journals, newsletters, and other regularely published material.

Academia
ACADEMIA

Research Activities
Contains a list of Petri Nets research groups and projects from academia and industry.

Education with Petri Nets
Resources for teachers and students from academia and industry. Also contains information on advanced courses on Petri Nets, and other courses and schools.

Forums
FORUMS

Meetings and Events
Calendar of symposia, conferences, workshops, and similar events. Contains information on important events such as the Conferences on Application and Theory of Petri Nets or the Workshops on Petri Nets and Performance Models. Events announced on the PetriNets Mailing List are also listed here.

Mailing Lists
Primary forums for announcements and discussions on all topics on Petri Nets. View subscription information and archive of postings.

Community
COMMUNITY

Individuals
People working with Petri Nets. Search in the address database or find people's homepages. Photographs of people.

Steering Committee
Contains photographs and contact information for the members of the Petri Nets steering committee.

Information from the Steering Committee
Links to recent emails from the Steering Committee to the Petri net community.

Petri Nets History
Articles and information concerning the history of Petri Nets and the people who worked with them.

*
News in the Petri Nets World

October 15, 2009: Call for Papers: 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation. Submission deadline is January 8, 2010.

October 14, 2009: First Call for Papers: 21st IEEE International Symposium on Rapid System Prototyping. Suggested topics include application of formal methods to prototyping and system verification/validation. Submission deadline is February 10, 2010 (abstracts due on February 5).

October 14, 2010: First Call for Papers: 31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency. This time this major event for the Petri Net community takes place at Braga, Portugal. It will be co-located with ACSD 2010. Submission deadline for PN 2010 is January 5, 2010.

October 13, 2009: 2nd Call for Papers: 12th International Conference on Measurement and Modeling of Computer Systems. Submission deadline is November 9, 2009 (abstracts due on November 2).

October 10, 2009: Call for Papers: 4th International Conference on Language and Automata Theory and Applications. Submission deadline is December 3, 2009.

October 9, 2009: Call for Papers: First International Conference on Complex Systems Design and Management. Submission deadline is January 22, 2010 (abstracts due on January 4).

October 8, 2009: 2nd Call for Participation: Formal Methods 2009 the 16th FM Symposium and 2nd World Congress Theory meets practice will take place from November 2 to November 6, 2009 in Eindhoven, the Netherlands. The "FMweek" consists of several workshops and tutorials. Have a look at http://www.win.tue.nl/fmweek for more information.

October 8, 2009: Call for Participation: The 1st International Workshop on Formal Methods for Aerospace will take place on November 3, 2009 in Eindhoven, the Netherlands. It is part of FM2009. Registration for FMA 2009 is now open now, but after October 19 late registration fees will apply.

Ocotber 7, 2010: First Call for Papers: 10th International Conference on Application of Concurrency to System Design. The ACSD serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. This year's ACSD is co-located with Petri Nets 2010. Submission deadline for ACSD 2010 is January 10, 2010.

October 6, 2010: A new version of the Renew tool has been announced.

October 6, 2009: Call for Papers: 10th Annual International Conference on New Technologies of Distributed Systems. Submission deadline is January 20, 2010.

October 6, 2009: Call for Participation: The 14th International Workshop on Formal Methods for Industrial Critical Systems will take place at the start of November 2009. It is part of the formal methods week in Eindhoven, The Netherlands. Have a look at http://www.win.tue.nl/fmweek for more information.

October 4, 2009: Call for Participation: The 9th International Conference on Formal Methods in Computer-Aided Design will take place November 15-18, 2009 in Austin, Texas, USA. Registration is now open. Early registration ends on October 11, 2009.

October 1, 2009: Job Offer: The Department of Mathematics and Computer Science of the Technische Universiteit Eindhoven has a vacancy for a Postdoc in Health Monitoring of Systems-of-Systems using Process Mining as part of the Poseidon project V32.048 within the expertise group Architecture of Information Systems (AIS).

September 30, 2009: Deadline Extension: Second International Workshop on UML & Formal Methods. Submission deadline is extended to October 12, 2009.

September 29, 2009: Call for Papers: Eighth Workshop on Quantitative Aspects of Programming Languages - a satellite event of ETAPS 2010. Submission deadline is December 21, 2009.

September 28, 2009: Call for Participation: The 3rd International Workshop on Formal Methods for Interactive Systems will take place on November 2, 2009 in Eindhoven, the Netherlands. It is part of FM2009.

September 28, 2009: Call for Participation: The 18th International Conference on Applications of Declarative Programming and Knowledge Management will take place November 5-7, 2009 in Evora, Portugal. Registration is now open. Early registration is available until October 15, 2009.

September 25, 2009: Call for Papers: Workshop on Biological Processes and Petri Nets - a workshop at Petri Nets 2010. The workshop focus lies on Petri nets to study biological applications. Submission deadline is March 20, 2010.

More NewsXML RSS FeedXML RSS Feed

  Other Web pages for the curious mind: : Search recent Web pages for Petri nets : Search recent discussions on Petri nets :
www.informatik.uni-hamburg.de/TGI/PetriNets