Model checking Petri nets with names using data-centric dynamic systems.
Marco MontaliAndrey RivkinPublished in: Formal Aspects Comput. (2016)
Keyphrases
- dynamic systems
- petri net
- data centric
- partial order reduction
- model checking
- complex systems
- temporal logic
- data management
- discrete event
- business processes
- reactive systems
- qualitative reasoning
- information management
- formal specification
- application development
- process algebra
- concurrent systems
- wireless sensor networks
- dynamical systems
- distributed systems
- data driven
- routing protocol
- finite state machines
- formal methods
- model checker
- model based diagnosis
- epistemic logic
- service composition
- xml schema
- query processing
- database
- dynamic programming
- expert systems