Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis.
Raymond R. DevillersPublished in: Fundam. Informaticae (2021)
Keyphrases
- petri net
- transition systems
- concurrent systems
- reactive systems
- petri net model
- model checking
- temporal logic
- fuzzy petri net
- colored petri nets
- finite state
- web service composition
- control flow
- practical reasoning
- stochastic petri net
- machine learning
- process model
- formal specification
- rough sets
- expert systems
- reinforcement learning
- artificial intelligence