LoLA
From MaRDI portal
Software:16557
No author found.
Related Items (26)
Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens ⋮ Stubborn versus structural reductions for Petri nets ⋮ Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method ⋮ Unnamed Item ⋮ Question-guided stubborn set methods for state properties ⋮ PTrie: data structure for compressing and storing sets via prefix sharing ⋮ Two Decades of Maude ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Nested-unit Petri nets ⋮ The sweep-line state space exploration method ⋮ Four Steps Towards Sound Business Process Models ⋮ Model Checking Data Flows in Concurrent Network Updates ⋮ Applications and Theory of Petri Nets 2004 ⋮ Applications and Theory of Petri Nets 2005 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Implementing coloured Petri nets using a functional programming language ⋮ Towards verification of computation orchestration ⋮ Computing the concurrency threshold of sound free-choice workflow nets ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Some complexity results for stateful network verification ⋮ A lazy query scheme for reachability analysis in Petri nets
This page was built for software: LoLA
