How to calculate symmetries of Petri nets
Acta Informatica
Stubborn sets for model checking the EF/AG fragment of CTL
Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
A Linear Local Model Checking Algorithm for CTL
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
The Minimal Coverability Graph for Petri Nets
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
A partial order approach to branching time logic model checking
ISTCS '95 Proceedings of the 3rd Israel Symposium on the Theory of Computing Systems (ISTCS'95)
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Maria: Modular Reachability Analyser for Algebraic System Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Distributed verification with LoLA
Fundamenta Informaticae - Concurrency specification and programming
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Question-guided stubborn set methods for state properties
Formal Methods in System Design
Narrowing Petri Net State Spaces Using the State Equation
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Formal modeling of BPEL workflows including fault and compensation handling
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Non-desynchronizable Service Choreographies
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Petri net invariants in state space construction
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
On the semantics of service compositions
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Generating Petri net state spaces
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
The ComBack method: extending hash compaction with backtracking
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Analyzing BPEL4Chor: verification and participant synthesis
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Understanding signalling networks as collections of signal transduction pathways
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
Soundness-preserving refinements of service compositions
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Diagnosing SCA components using WOMBAT
BPM'06 Proceedings of the 4th international conference on Business Process Management
Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Multiple representations of biological processes
Transactions on Computational Systems Biology VI
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Modeling multi-valued genetic regulatory networks using high-level petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Enhanced GALS techniques for datapath applications
PATMOS'05 Proceedings of the 15th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation
The sweep-line state space exploration method
Theoretical Computer Science
Guaranteeing Weak Termination in Service Discovery
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Combining the sweep-line method with the use of an external-memory priority queue
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Hybrid on-the-fly LTL model checking with the sweep-line method
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Distributed Verification with LoLA
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Narrowing Petri Net State Spaces Using the State Equation
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
WorMS- a framework to support workflows in M&S
Proceedings of the Winter Simulation Conference
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Business process architectures with multiplicities: transformation and correctness
BPM'13 Proceedings of the 11th international conference on Business Process Management
International Journal of Web Services Research
A Sweep-Line Method for Büchi Automata-based Model Checking
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Hi-index | 0.00 |
With LoLA, we put recently developed state space oriented algorithms to other tool developers disposal. Providing a simple interface was a major design goal such that it is as easy as possible to integrate LoLA into tools of different application domains. LoLA supports place/transition nets. Implemented verification techniques cover standard properties (liveness, reversibility, boundedness, reachability, dead transitions, deadlocks, home states) as well as satisfiability of state predicates and CTL model checking. For satisfiability, both exhaustive search and heuristically goal oriented system execution are supported. For state space reduction, LoLA features symmetries, stubborn sets, and coverability graphs.