Formal verification of PLC programs generated from signal interpreted Petri nets.
Thomas MertkeGeorg FreyPublished in: SMC (2001)
Keyphrases
- petri net
- formal verification
- programmable logic controller
- program slicing
- model checking
- hardware and software
- manufacturing systems
- petri net model
- model checker
- bounded model checking
- automated verification
- fuzzy control
- discrete event systems
- colored petri nets
- symbolic model checking
- service composition
- fuzzy petri net
- state machines
- concurrent systems
- ims ld
- stochastic petri net
- temporal logic
- neural network
- control system