// Concurrency & Discrete-Event Modeling

Petri Net Resources

A hand-checked directory of Petri Net editors, simulators, the Petri Net Markup Language (PNML), and peer-reviewed research spanning manufacturing, healthcare, hydrology, and financial trading systems.

24
Live Resources
5
Categories
2026
Verified

Related Topics

Mathematics Discrete Mathematics Formal Methods Formal Languages YAWL Workflow Management Theoretical Computer Science Process Modeling Process Algebra Pi-Calculus

Petri Net — Resources

5
Single Controller-Based Colored Petri Nets for Deadlock Control in Automated Manufacturing Systemsmdpi.com
Petri Net — nLabncatlab.org
Information Propagation Formalized Representation of Micro-blog Network Based on Petri Netsnature.com
The Representation of Hydrological Dynamical Systems Using Extended Petri Nets (EPN)agupubs.onlinelibrary.wiley.com
Stochastic-Petri Net Modeling and Optimization for Outdoor Patients in Sustainable Healthcare Systemsyonsei.elsevierpure.com
↑ Back to top

Petri NET Markup Language (PNML)

3
Formal Verification for Task Description Languages: A Petri Net Approachmdpi.com
Automatic Construction of OWL Ontologies From Petri Netsideas.repec.org
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Languagespringerprofessional.de
↑ Back to top

Petri Net — Information, Links & News

4
A New Modular Petri Net for Modeling Large Discrete-Event Systemsmdpi.com
Modules of Petri Nets and New Petri Net Structure: Arcs with a Weighted Function Setjournals.sagepub.com
Petri Nets 2019: Applications and Theory of Petri Netswikicfp.com
CPN Tools — Editing, Simulating & Analyzing Colored Petri Netscpntools.org
↑ Back to top

Petri Net — Editors, Tools & Software

2
Petri Nets — Tcler's Wikiwiki.tcl-lang.org
Roméo — A Tool for Time Petri Nets Analysisromeo.rts-software.org
↑ Back to top

Petri Net — Research Papers & Publications

10
Modeling of Uncertainty with Petri Netsresearchgate.net
Call for Papers — Petri Nets 2019petrinets2019.de
Modeling With Colored Petri Nets: Specification, Verification & Performance Evaluationigi-global.com
Robust Control for Railway Transport Networks Based on Stochastic P-timed Petri Net Modelsjournals.sagepub.com
Towards a Formal Modelling of Order-driven Trading Systems Using Petri Nets: A Multi-Agent Approachexactpro.com
Modeling of Petri-Net-based Control Algorithms for Building Energy Systemsiopscience.iop.org
Petri Nets and ODE as Complementary Tools in Analysis of Signaling Pathwayseasychair.org
Petri Nets Approach to Simulate and Control of Flexible Manufacturing Systemsacademia.edu
Petri Net Extension for Traffic Road Modellingijser.org
Putting Petri Nets to Work in Industryresearch.tue.nl
↑ Back to top