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


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

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.

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.


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

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


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.


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.


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

November 4, 2014: Model Checking Contest 2015 - Pre-Registration & Call for Model.

November 3, 2014: The 7th NASA Formal Methods Symposium, Deadline Extension: November 18.

November 1, 2014: International Symposium on Parallel and Distributed Computing (ISPDC) 2015: Preliminary Call for Papers.

October 23, 2014: Multiple Postdoc Positions on Formal Methods for Cyber Security available in Singapore.

October 20, 2014: Call for Papers: Relational and Algebraic Methods in Computer Science (RAMiCS 2015).

October 7, 2014: Call for Papers: 15th International Conference on Application of Concurrency to System Design (ACSD 2015): Brussels, Belgium, June 24-26, 2015.

October 3, 2014: Call for Papers: 36th International Conference on Application and Theory of Petri Nets and Concurrency: Brussels, Belgium, June 21–26, 2015.

October 1, 2014: Multiple PhD and Postdoc Positions on process mining available at Eindhoven University of Technology.

September 30, 2014: ETAPS 2015 final Call for Papers.

September 22, 2014: Call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo, Norway.

September 12, 2014: Call for Papers: CAiSE 2015 -27th International Conference on Advanced Information Systems Engineering.

September 8, 2014: Call for Participation for Informatik 2014 in Stuttgart, Germany.

September 5, 2014: PostDoc position(s) in formal methods available at DTU (Technical University of Denmark).

September 3, 2014: Second Call for Papers: DATE'15 - Topic E3: Model-based Designand Verification for Embedded Systems.

September 2, 2014: MCC'2014 - Public Report is out.

August 29, 2014: TAMC 2015, 18-20 May 2015,National University of Singapore - First Call for Papers.

August 25, 2014: PhD positions available at the University of Cagliari.

August 22, 2014: PhD position in model-driven and component-based software engineering at Bergen University College, Norway.

August 20, 2014: Call for Participation, ICTAC 2014, 16-19 Sept, Bucharest.

August 18, 2014: Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France.

August 15, 2014: BPM 2014 is RELOCATED to Eindhoven, the Netherlands.

August 12, 2014: Integrated Formal Methods 2014 - Call for Participation.

August 4, 2014: AVoCS 2014: Call for Research Ideas (due August 11th).

July 31, 2014: Call for Papers: DATE 2015 - Topic E3: Model-based Design and Verification for Embedded Systems.

July 31, 2014: 14 PhD scholarships available in 2014 -- Computer Science in Pisa.

July 29, 2014: Four PhD positions in Process Mining available in Eindhoven.

July 26, 2014: Call for Papers - FORmal MOdeling and Verification of Service-based systems (FOR-MOVES)

July 24, 2014: Final call for papers: JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software.

July 17, 2014: Call for Papers: NASA Formal Methods (NFM) 2015.

July 10, 2014: CFP: 30th UK Performance Engineering Workshop.

July 10, 2014: Funded PhD Positions: Dynamic Adaptive Automated Software Engineering.

July 7, 2014: Informatik 2014: Call for Participation.

July 2, 2014: 18 PhD positions in Data Science at the Data Science Center Eindhoven (DSC/e) in collaboration with Philips Research Eindhoven.

July 2, 2014: CONCUR, TCS & TGC 2014: First Call for Participation.

June 29, 2014: CFP: FORmal MOdeling and Verification of Service-based systems (FOR-MOVES).

June 20, 2014: Petri net tool LoLA 2.0 released.

June 20, 2014: BPM 2014 - Call for Participation.

June 17, 2014: AVoCS 2014: Submission Deadline Extension.

June 14, 2014: CFP: 6th International Workshop on Workflow Management in Cloud and Big Data, 3 -5 Dec., Sydney Australia.

June 7, 2014: Ph.D. Position in Information Security at the University of Luxembourg.

June 4, 2014: WS-FM:FASOCC 2014 - Deadline extension (15th June) - Web Services and Formal Methods.

June 4, 2014: MCC at Petri Net 2014 - Participants and Surprise Models.

May 29, 2014: Workshop Human-Oriented Formal Methods @SEFM 2014.

May 28, 2014: PhD research position in SCARE.

May 22, 2014: Two open research&teaching positions in Rostock.

May 12, 2014: Post-doc position at Convecs team (Inria/LIG).

May 8, 2014: Call for Participation : Joint Petri Nets 2014 and ACSD 2014 Conference, Tunis, 23-27 June 2014.

May 5, 2014: CfP - BPM 2014 Workshops.

May 3, 2014: Post-doc positions in security evaluation of software protection at UEL, London, UK

April 28, 2014: Ph.D. Position in Information Security at the University ofLuxembourg.

April 27, 2014: Reachability Problems 2014 - First Call for Papers.

April 17, 2014: 3rd CfP - BioPPN 2014.

April 16, 2014: KI 2014: Last Call for Papers.

April 14, 2014: WWV 2014: Final Call for Papers.

April 9, 2014: PNSE'14 - International Workshop on Petri Nets and Software Engineering, Deadline Extension.

April 7, 2014: Call for Workshops, Petri Nets 2015.

April 7, 2014: Call for Papers: 12th International Conference on Service Oriented Computing (ICSOC 2014).

April 2, 2014: Second Call for Papers: Workshop on Biological Processes and Petri Nets (BioPPN).

April 2, 2014: MCC'2014 (Model Checking Contest) - 2nd call for tool participation and update.

March 29, 2014: Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014.

March 27, 2014: FORMATS 2014 - The 12th International Conference on Formal Modeling and Analysis of Timed Systems: Call for Papers.

March 18, 2014: CL 2014, Colloquium Logicum 2014, Neubiberg (Germany), 4-6 Sep 2014.

March 17, 2014: BPM 2014 - Deadline extension until 28th March (abstracts 21stMarch).

March 12, 2014: New book: Formal Methods in Manufacturing.

March 12, 2014: Tenured full professorship in Theoretical Computer Science available at the Department of Informatics, University of Hamburg.

March 3, 2014: MCC'2014 (Model Checking Contest) - Call for Tool Participation.

March 3, 2014: Call for Papers: 1st International Workshop on Safety and Formal Methods - SaFoMe 2014

February 26, 2014: Second Call for Papers: FMICS 2014, The 19th International Workshop on Formal Methods for Industrial Critical Systems.

February 25, 2014: Call for Papers: Workshop on Biological Processes and Petri Nets (BioPPN).

February 24, 2014: Integrated Formal Methods 2014 - First Call for Papers.

February 21, 2014: Four PhD positions on Data Science in the Department of Mathematics and Computer Science at TU Eindhoven available.

February 17, 2014: 5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Chalmers University of Technology, Sweden.

February 14, 2014: Formal Verification of Service Based Systems FVSBS 2014 @ IEEEWETICE - Parma, Italy.

February 12, 2014: PLACES 2014 at ETAPS - Call for Participation.

February 11, 2014: BPMDS'2014 - Call for Papers (in conjunction with CAISE).

February 4, 2014: Call for Papers: 7th Workshop on Answer Set Programming and Other Computing Paradigms.

February 3, 2014: KI 2014: Call for Papers.

February 1, 2014: Faculty positions at the School of Computer Science, Reykjavik University.

January 29, 2014: 2nd CfP: BPM 2014 - International Conference on Business Process Management.

January 17, 2014: Postdoc positions in SAT/SMT-based Verification available in Trento.

January 16, 2014: Call for Papers: Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM'14).

January 11, 2014: Petri Nets 2014: Submission deadline extension: January 22.

January 9, 2014: ETAPS WORKSHOPS 2014: Joint Call for Papers.

January 7, 2014: ACSD 2014 - Call for papers - ACM TECS special issue.

January 2, 2014: Call for Papers: FormaliSE 2014 (3 June 2014, Hyderabad, India).

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