Cited in
(46)- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
- Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
- 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
- Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens
- Applications and Theory of Petri Nets 2004
- The sweep-line state space exploration method
- Formal dependability modeling and analysis: a survey
- scientific article; zbMATH DE number 1755139 (Why is no real title available?)
- Advances in verification of time Petri nets and timed automata. A temporal logic approach.
- Deriving protocol specifications from service specifications written as Predicate/Transition-nets
- Lectures on Concurrency and Petri Nets
- Modeling and quantitatively predicting software security based on stochastic Petri nets
- A perspective on explicit state space exploration of coloured Petri nets: past, present, and future
- scientific article; zbMATH DE number 2043473 (Why is no real title available?)
- Applications and Theory of Petri Nets 2005
- Design/CPN
- Access/CPN
- ASAP
- PROD
- PNML
- TINA
- Maria
- ExSpect
- Helena
- LoLA
- Protos
- SNOOPY
- YAWL
- ProM
- Woflan
- SNAKES
- MC2
- CosyVerif
- CpnToUnit
- FSM
- PeCAn
- Petri net modelling of biological regulatory networks
- Acyclic and cyclic reversing computations in Petri nets
- Applications and Theory of Petri Nets 2005
- An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets
- Verifying UCM specifications of distributed systems using colored Petri nets
- SNAKES: a flexible high-level Petri nets library (tool paper)
- Automated Petri-net modelling based on production management data
- GPenSIM
- PeCAn: compositional verification of Petri nets made easy
This page was built for software: CPN/Tools
