Sequential and distributed model checking of Petri nets.
Alexander BellBoudewijn R. HaverkortPublished in: Int. J. Softw. Tools Technol. Transf. (2005)
Keyphrases
- petri net
- partial order reduction
- model checking
- process algebra
- concurrent systems
- temporal logic
- concurrent processes
- reactive systems
- discrete event systems
- distributed systems
- formal verification
- formal specification
- fuzzy petri net
- bounded model checking
- model checker
- temporal properties
- colored petri nets
- finite state machines
- service composition
- timed automata
- epistemic logic
- computation tree logic
- transition systems
- symbolic model checking
- automated verification
- model based diagnosis
- multi agent
- artificial intelligence
- web service composition