swMATH1952MaRDI QIDQ14500FDOQ14500
Author name not available (Why is that?)
Official website: http://cpntools.org/
Cited In (42)
- 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
- Title not available (Why is that?)
- Decision-Making Modeling and Evaluation of E-Trust in B2C E-Commerce with Using Colored Petri Nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
- Applications and Theory of Petri Nets 2004
- Petri nets and IDEF diagrams: Applicability and efficacy for business process modelling
- The sweep-line state space exploration method
- Effective scheduling of local interactive processes and parallel processes in a non-dedicated cluster environment
- Title not available (Why is that?)
- 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
- Applications and Theory of Petri Nets 2005
- A perspective on explicit state space exploration of coloured Petri nets: past, present, and future
- Modeling and quantitatively predicting software security based on stochastic Petri nets
- Title not available (Why is that?)
- Rule-based refinement of Petri nets: A survey
- Title not available (Why is that?)
- Acyclic and cyclic reversing computations in Petri nets
- Petri net modelling of biological regulatory networks
- ExSpect
- PetriNets
- Protos
- SNOOPY
- SYROCO
- YAWL
- Woflan
- The consistent use of names and polymorphism in the definition of object Petri nets
- TRANSPATH
- Modelling and analysis of distributed program execution in BETA using coloured Petri nets
- LOOPN++
- Lectures on Concurrency and Petri Nets
- An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets
- Title not available (Why is that?)
- GPenSIM
- 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
This page was built for software: Design/CPN
