swMATH3257MaRDI QIDQ15790FDOQ15790
Author name not available (Why is that?)
Official website: http://www.pnml.org/tools.php
Cited In (59)
- The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
- Lectures on Concurrency and Petri Nets
- CTL* model checking for data-aware dynamic systems with arithmetic
- Decision-Making Modeling and Evaluation of E-Trust in B2C E-Commerce with Using Colored Petri Nets
- Accelerating the computation of dead and concurrent places using reductions
- 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
- Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model
- DP2PN2Solver
- EMiT
- CPN/Tools
- Design/CPN
- AlPiNA
- CoopnBuilder
- ePNK
- PetriNets
- XRL/Flower
- YAWL
- ProM
- OptiML
- Woflan
- VPM
- Applications and Theory of Petri Nets 2004
- ade4TkGUI
- TRANSPATH
- SESSL
- MC2
- SBMLsimulator
- VipTool
- Yasper
- SAX
- Relax NG
- GXL
- SESSL
- FAST
- Title not available (Why is that?)
- LASH
- caesar.bdd
- NUPN_INFO
- PIPE
- ROSECON
- The ePNK: an extensible Petri net tool for PNML
- Applications and Theory of Petri Nets 2004
- Applications and Theory of Petri Nets 2004
- Applications and Theory of Petri Nets 2005
- High-level Petri net model checking with AlPiNA
- Towards common exchange formats for graphs and graph transformation systems
- A cylinder computation model for many-core parallel computing
- The Petri net markup language
- Petri nets for modelling metabolic pathways: a survey
- A modification of the process interaction world view
- DP2PN2Solver: a flexible dynamic programming solver software tool
- Component-wise incremental LTL model checking
This page was built for software: PNML