Modeling of hybrid supervisory systems using UML and Petri nets.
Paulo Eigi MiyagiEmília VillaniNewton MaruyamaPublished in: ETFA (2) (2001)
Keyphrases
- petri net
- sequence diagrams
- discrete event systems
- colored petri nets
- embedded real time systems
- modeling language
- stochastic petri net
- petri net model
- formal methods
- state machines
- reactive systems
- distributed systems
- manufacturing systems
- complex systems
- fuzzy logic
- ims ld
- service composition
- software architecture
- concurrent systems
- software systems
- low cost