Design/CPN
From MaRDI portal
Cited in
(48)- 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
- scientific article; zbMATH DE number 1569129 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1701774 (Why is no real title available?)
- scientific article; zbMATH DE number 2090157 (Why is no real title available?)
- Applications and Theory of Petri Nets 2004
- The sweep-line state space exploration method
- Petri nets and IDEF diagrams: Applicability and efficacy for business process modelling
- Effective scheduling of local interactive processes and parallel processes in a non-dedicated cluster environment
- scientific article; zbMATH DE number 1540512 (Why is no real title available?)
- Advances in verification of time Petri nets and timed automata. A temporal logic approach.
- Automated Technology for Verification and Analysis
- Thread allocation in CMP-based multithreaded network processors
- 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
- Applications and Theory of Petri Nets 2005
- scientific article; zbMATH DE number 1686276 (Why is no real title available?)
- scientific article; zbMATH DE number 1455629 (Why is no real title available?)
- Rule-based refinement of Petri nets: A survey
- CPN/Tools
- Access/CPN
- ASAP
- BETA
- PNML
- TINA
- ExSpect
- PetriNets
- Protos
- SNOOPY
- SYROCO
- YAWL
- Woflan
- TRANSPATH
- LOOPN++
- Petri net modelling of biological regulatory networks
- Acyclic and cyclic reversing computations in Petri nets
- The consistent use of names and polymorphism in the definition of object Petri nets
- Modelling and analysis of distributed program execution in BETA using coloured Petri nets
- Lectures on Concurrency and Petri Nets
- An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets
- scientific article; zbMATH DE number 1696464 (Why is no real title available?)
- The practitioner's guide to coloured Petri nets.
- Petri nets for modelling metabolic pathways: a survey
- Rule-based refinement of high-level nets preserving safety properties
- Automated Petri-net modelling based on production management data
- GPenSIM
This page was built for software: Design/CPN
