Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets.
Uli SchlachterValentin SpreckelsPublished in: ATAED@Petri Nets/ACSD (2017)
Keyphrases
- petri net
- transition systems
- concurrent systems
- reactive systems
- petri net model
- model checking
- temporal logic
- fuzzy petri net
- discrete event systems
- colored petri nets
- finite state
- web service composition
- control flow
- expert systems
- practical reasoning
- model checker
- service composition
- process model
- knowledge based systems
- knowledge acquisition
- software development
- dynamic programming
- artificial intelligence
- programmable logic controller