Model Checking Control Flow Petri Nets Using PAT.
Ho T. DungThang H. BuiTho T. QuanPublished in: ICCSA (6) (2013)
Keyphrases
- petri net
- control flow
- model checking
- process model
- partial order reduction
- transition systems
- data flow
- temporal logic
- reactive systems
- formal specification
- finite state
- concurrent systems
- workflow management systems
- formal verification
- service composition
- model checker
- web service composition
- software testing
- finite state machines
- verification method
- modeling language
- formal methods
- asynchronous circuits
- business processes
- epistemic logic
- fuzzy logic