CPN/Tools - MaRDI portal

swMATH1261MaRDI QIDQ14001FDOQ14001

Author name not available (Why is that?)

Official website: http://cpntools.org/start

Cited In (39)

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
Applications and Theory of Petri Nets 2004
Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens
Formal dependability modeling and analysis: a survey
The sweep-line state space exploration method
Title not available (Why is that?)
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
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?)
Acyclic and cyclic reversing computations in Petri nets
Petri net modelling of biological regulatory networks
ExSpect
Helena
LoLA
Protos
SNOOPY
YAWL
ProM
Woflan
SNAKES
MC2
CosyVerif
CpnToUnit
FSM
PeCAn
Applications and Theory of Petri Nets 2005
An algorithm for mapping the asymmetric multiple traveling salesman problem onto colored Petri nets
GPenSIM
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
PeCAn: compositional verification of Petri nets made easy

This page was built for software: CPN/Tools