Cited in
(59)- The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
- CTL* model checking for data-aware dynamic systems with arithmetic
- Lectures on Concurrency and Petri Nets
- Accelerating the computation of dead and concurrent places using reductions
- Decision-Making Modeling and Evaluation of E-Trust in B2C E-Commerce with Using Colored Petri Nets
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
- GeRoMe: A Generic Role Based Metamodel for Model Management
- Formal verification of complex business processes based on high-level Petri nets
- Reduction of workflow nets for generalised soundness verification
- Towards a Standard for Modular Petri Nets: A Formalisation
- Experimenting Formal Proofs of Petri Nets Refinements
- Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
- PN Standardisation: A Survey
- DP2PN2Solver
- EMiT
- CPN/Tools
- Design/CPN
- AlPiNA
- CoopnBuilder
- ePNK
- PetriNets
- XRL/Flower
- YAWL
- ProM
- OptiML
- Woflan
- VPM
- ade4TkGUI
- TRANSPATH
- SESSL
- MC2
- SBMLsimulator
- VipTool
- Yasper
- SAX
- Relax NG
- GXL
- FAST
- LASH
- caesar.bdd
- NUPN_INFO
- PIPE
- ROSECON
- Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model
- Applications and Theory of Petri Nets 2004
- SESSL
- scientific article; zbMATH DE number 2104632 (Why is no real title available?)
- The ePNK: an extensible Petri net tool for PNML
- A cylinder computation model for many-core parallel computing
- High-level Petri net model checking with AlPiNA
- Applications and Theory of Petri Nets 2004
- Applications and Theory of Petri Nets 2004
- Applications and Theory of Petri Nets 2005
- Towards common exchange formats for graphs and graph transformation systems
- The Petri net markup language
- Petri nets for modelling metabolic pathways: a survey
- A modification of the process interaction world view
- Component-wise incremental LTL model checking
- DP2PN2Solver: a flexible dynamic programming solver software tool
This page was built for software: PNML
