swMATH4381MaRDI QIDQ16557FDOQ16557
Author name not available (Why is that?)
Official website: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/lola.html
Cited In (54)
- Computing the concurrency threshold of sound free-choice workflow nets
- Four Steps Towards Sound Business Process Models
- bpmn-js
- CSTNU
- TimeAwareBPMN-js
- Title not available (Why is that?)
- A WSDL-based type system for asynchronous WS-BPEL processes
- Title not available (Why is that?)
- Nested-unit Petri nets
- Title not available (Why is that?)
- 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
- A lazy query scheme for reachability analysis in Petri nets
- The sweep-line state space exploration method
- Applications and Theory of Petri Nets 2005
- Stubborn versus structural reductions for Petri nets
- Title not available (Why is that?)
- Implementing coloured Petri nets using a functional programming language
- Title not available (Why is that?)
- Towards verification of computation orchestration
- Question-guided stubborn set methods for state properties
- Title not available (Why is that?)
- TAPAAL
- Renew
- ProM
- BPEL2PN
- Applications and Theory of Petri Nets 2004
- LTSA-WS
- Petriweb
- VeriCon
- TyPiCal
- VeriFlow
- CpnToUnit
- FSM
- Activiti
- caesar.bdd
- ITS-Tools
- LOEWE
- Meddly
- NUPN_INFO
- PNML2NUPN
- PNMC
- Anteater
- AdamMC
- FatTire
- Kuai
- zUpdate
- Some complexity results for stateful network verification
- PTrie
- Narrowing Petri net state spaces using the state equation
- 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
