Petri NET Markup Language (PNML)

• Formal Verification for Task Description Languages. A Petri Net Approach
• Automatic Construction of OWL Ontologies From Petri Nets
• PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language

Petri NET - Information, Links & News

• A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study
• Modules of Petri nets and new Petri net structure: Arcs with a weighted function set
• Information Propagation Formalized Representation of Micro-blog Network Based on Petri Nets
• Petri Nets 2019 : Applications and Theory of Petri Nets
• A tool for editing, simulating, and analyzing Colored Petri nets

Petri NET - Editors, Tools & Software

• Petri nets and ODE as complementary tools in analysis of signaling pathways
• Petri Nets- Wiki TCL
• Roméo - A tool for Time Petri Nets analysis
• Petrosys PRO Mapping for Petrel

Petri NET - Research Papers & Publications

• Modeling of Uncertainty with Petri Nets
• Call for Papers Petri Nets 2019
• Modeling With Colored Petri Nets: Specification, Verification, and Performance Evaluation of Systems
• Robust control for railway transport networks based on stochastic P-timed Petri net models
• Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach
• The Representation of Hydrological Dynamical Systems Using Extended Petri Nets (EPN)
• Modeling of Petri-Net-based control algorithms for the simulation-based improvement of the planning process of building energy systems
• Petri nets and ODE as complementary tools in analysis of signaling pathways
• Petri Nets approach to simulate and control of Flexible Manufacturing Systems
• Petri net extension for traffic road modelling
• Putting Petri nets to work in Industry