Cited in
(57)- Computing the concurrency threshold of sound free-choice workflow nets
- Four Steps Towards Sound Business Process Models
- A WSDL-based type system for asynchronous WS-BPEL processes
- scientific article; zbMATH DE number 1956602 (Why is no real title available?)
- Nested-unit Petri nets
- scientific article; zbMATH DE number 1755146 (Why is no real title available?)
- scientific article; zbMATH DE number 1696471 (Why is no real title available?)
- Model checking data flows in concurrent network updates
- Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens
- The sweep-line state space exploration method
- A lazy query scheme for reachability analysis in Petri nets
- Stubborn versus structural reductions for Petri nets
- Applications and Theory of Petri Nets 2005
- scientific article; zbMATH DE number 2088659 (Why is no real title available?)
- Implementing coloured Petri nets using a functional programming language
- Towards verification of computation orchestration
- scientific article; zbMATH DE number 1755148 (Why is no real title available?)
- TAPAAL
- CPN/Tools
- libDDD
- Maria
- Renew
- ProM
- BPEL2PN
- LTSA-WS
- Petriweb
- VeriCon
- TyPiCal
- VeriFlow
- CpnToUnit
- FSM
- Activiti
- caesar.bdd
- ITS-Tools
- LOEWE
- Meddly
- NUPN_INFO
- PNML2NUPN
- PNMC
- Anteater
- AdamMC
- FatTire
- Kuai
- zUpdate
- PTrie
- Question-guided stubborn set methods for state properties
- scientific article; zbMATH DE number 2088675 (Why is no real title available?)
- Applications and Theory of Petri Nets 2004
- Some complexity results for stateful network verification
- Narrowing Petri net state spaces using the state equation
- bpmn-js
- CSTNU
- TimeAwareBPMN-js
- Tools and Algorithms for the Construction and Analysis of Systems
- Two Decades of Maude
- Hybrid on-the-fly LTL model checking with the sweep-line method
- PTrie: data structure for compressing and storing sets via prefix sharing
This page was built for software: LoLA
