Composability Verification of Complex Systems Using Colored Petri Nets.
Imran MahmoodSyed Hassan AskariHessam S. SarjoughianPublished in: WSC (2021)
Keyphrases
- complex systems
- colored petri nets
- petri net
- dynamic systems
- web services
- discrete event systems
- multi agent systems
- steady state simulation
- mathematical models
- biological systems
- manufacturing systems
- computational intelligence
- physical systems
- cooperative
- computational systems
- technical systems
- artificial intelligence
- intelligent systems
- software engineering
- multi agent
- emergent behavior
- industrial systems