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