Variants of the Language Based Synthesis Problem for Petri Nets.
Sebastian MauserRobert LorenzPublished in: ACSD (2009)
Keyphrases
- petri net
- discrete event systems
- petri net model
- manufacturing systems
- high level petri nets
- colored petri nets
- stochastic petri net
- natural language
- fuzzy petri net
- ims ld
- sequence diagrams
- state machines
- concurrent systems
- process algebra
- service composition
- concurrent processes
- neural network
- knowledge based systems
- learning objects
- discrete dynamical systems
- web services