From SysML State Machines to Petri Nets Using ATL Transformations.
Rui PaisJoão Paulo BarrosLuís GomesPublished in: DoCEIS (2014)
Keyphrases
- state machines
- petri net
- reactive systems
- formal methods
- petri net model
- model checking
- multi agent systems
- manufacturing systems
- colored petri nets
- state machine
- ims ld
- fuzzy petri net
- sequence diagrams
- discrete event systems
- modeling language
- service composition
- temporal logic
- neural network
- stochastic petri net
- expert systems