BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets.
Artur MeskiWojciech PenczekAgata PólrolaPublished in: Fundam. Informaticae (2011)
Keyphrases
- temporal properties
- bounded model checking
- petri net
- model checking
- formal verification
- temporal logic
- petri net model
- discrete event systems
- formal methods
- colored petri nets
- formal specification
- linear temporal logic
- concurrent systems
- fuzzy petri net
- stochastic petri net
- programmable logic controller
- epistemic logic
- artificial intelligence
- process model
- knowledge base