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