www.informatik.uni-hamburg.de/TGI/PetriNets Imprint/Disclaimer
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.

*
Selected News in the Petri Nets World

May 10, 2013: Call for Participation for the Petri Net Course 2013.

May 10, 2013: PN-Simulator Renew Version 2.4 is now available.

May 7, 2013: PhD research position available in Oldenburg, Germany.

May 3, 2013: Call for Papers for Reachability Problems (RP'13).

May 1, 2013: PostDoc on Compositional Security Analysis for Binaries at Queen Mary University of London.

April 25, 2013: PhD studentship in Formal Verification available in Newcastle, UK.

April 13, 2013: ACSD 2013 PhD Track Second Call for Papers.

April 10, 2013: PNSE'13 @ Petri Nets 2013: Deadline for full papers.

April 5, 2013: Tenure-track position in Theoretical Computer Science in Amsterdam, NL.

April 1, 2013: Call for Papers BPMS2'13 (BPM and Social Software).

March 26, 2013: Call for Papers CALCO Tools 2013.

March 21, 2013: Associate Professor Position at Univ. Toulouse 3 and LAAS-CNRS / Design of Real-time Systems for Control.

March 21, 2013: CiE 2013: Call for Informal Presentations.

March 20, 2013: ART 2013 @ ACSD 2013: Call for Papers.

March 20, 2013: ModBE'13 @ Petri Nets 2013: Call for Papers.

March 20, 2013: PNSE'13 @ Petri Nets 2013: Call for Papers.

March 15, 2013: MCC'2013 - Call for Tool Submission.

March 11, 2013: FORMATS 2013 - 2nd Call for Papers.

March 5, 2013: Research Assistantship at Oxford on Bidirectional Transformations available.

February 27, 2013: CFP 3rd Workshop on Formal Methods in the Development of Software: WS-FMDS 2013.

February 27, 2013: WS-FM 2013: First Call for Papers.

February 26, 2013: ETAPS 2013 - Final Call for Participation.

February 26, 2013: Call for papers: The 5th Workshop on Behavioural Modelling - Foundations and Applications.

February 20, 2013: 4th International Workshop on Biological Processes & Petri Nets - 1st CfP.

February 18, 2013: Call for Papers ICTAC 2013.

February 13, 2013: Call for Papers ICFEM 2013.

February 11, 2013: Call for Papers for the 7th International Workshop on Enterprise & Organizational Modeling And Simulation (EOMAS), June 17, 2013, Valencia, Spain.

February 11, 2013: Call for Papers for the 18th International Workshop on Formal Methods for Industrial Critical Systems.

January 30, 2013: One postdoc and two PhD student positions, Quantitative Modelling of Collective Adaptive Systems

January 29, 2013: CADE-24 Workshop CFPs.

January 23, 2013: First Call for Papers for the 11th International Conference on Formal Modeling and Analysis of Timed Systems.

January 23, 2013: Second Call for Papers for the 24th International Conference on Concurrency Theory.

January 18, 2013: Call for Papers for the 13th International Conference on Application of Concurrency to System Design (ACSD 2013).

January 16, 2013: Call for Papers for the 10th International Colloquium on Theoretical Aspects of Computing.

January 14, 2013: Call for Papers for the 7th International Workshop on Enterprise & Organizational Modeling And Simulation (EOMAS), June 17, 2013, Valencia, Spain.

January 11, 2013: Call for Papers for the 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013).

January 10, 2013: Call for Participation: ETAPS 2013 European Joint Conferences on Theory And Practice of Software.

January 9, 2013: Call for Papers: 5th Central-European Workshop on Services and their Composition (ZEUS) in Rostock, Germany

January 4, 2013: Call for Papers 4th International Workshop on Computational Models for Cell Processes.

January 02, 2013: Call for Papers for the 3rd Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures (AROSA 2013).

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 Imprint/Disclaimer