LoLA
From MaRDI portal
Software:16557
swMATH4381MaRDI QIDQ16557FDOQ16557
Author name not available (Why is that?)
Cited In (26)
- Computing the concurrency threshold of sound free-choice workflow nets
- Four Steps Towards Sound Business Process Models
- 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?)
- 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
- Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method
- 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
- Model Checking Data Flows in Concurrent Network Updates
- 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?)
- Applications and Theory of Petri Nets 2004
- Some complexity results for stateful network verification
- Narrowing Petri net state spaces using the state equation
- Tools and Algorithms for the Construction and Analysis of Systems
- Two Decades of Maude
- PTrie: data structure for compressing and storing sets via prefix sharing
This page was built for software: LoLA
