Fault monitoring of automated manufacturing systems by first order hybrid Petri nets.
Mariagrazia DotoliMaria Pia FantiAgostino Marcello ManginiPublished in: CASE (2008)
Keyphrases
- manufacturing systems
- petri net
- manufacturing environment
- petri net model
- discrete event systems
- real time
- shop floor
- colored petri nets
- service composition
- first order logic
- ims ld
- holonic manufacturing systems
- sequence diagrams
- stochastic petri net
- fuzzy petri net
- concurrent processes
- control structure
- contract net protocol
- mobile agents
- cooperative