Specification and Modeling of Flexible Manufacturing Systems Using Behaviors and Petri Nets Building Blocks.
Francesco BasilePasquale ChiacchioValeria VittoriniNicola MazzoccaPublished in: PDSE (1999)
Keyphrases
- building blocks
- petri net
- colored petri nets
- flexible manufacturing systems
- manufacturing systems
- sequence diagrams
- stochastic petri net
- state machines
- reactive systems
- petri net model
- discrete event systems
- dynamic behaviors
- fuzzy petri net
- process algebra
- real time control
- service composition
- concurrent systems
- ims ld
- formal methods
- databases
- asynchronous circuits