Model Checking of Time Petri Nets Based on Partial Order Semantics.
Burkhard BieberHans FleischhackPublished in: CONCUR (1999)
Keyphrases
- partial order
- petri net
- partial order reduction
- model checking
- process algebra
- epistemic logic
- partially ordered
- concurrent systems
- temporal logic
- alternating time temporal logic
- formal specification
- reactive systems
- web service composition
- asynchronous circuits
- formal verification
- formal methods
- set theory
- preference relations
- formal semantics
- model checker
- finite state machines
- process model
- web services composition
- service composition
- sequential patterns
- specification language
- data structure
- logic programming
- multi agent systems