Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.
Iwona GrobelnaPawel SzczesniakPublished in: Sensors (2022)
Keyphrases
- petri net
- partial order reduction
- model checking
- concurrent systems
- process algebra
- electric power systems
- temporal logic
- reactive systems
- manufacturing systems
- power system
- model checker
- formal specification
- service composition
- finite state machines
- computational intelligence
- formal methods
- multi agent systems
- asynchronous circuits
- software components
- process model
- workflow process
- dynamic programming
- evolutionary algorithm