Validation of an agent based system using Petri Nets.

Thomas Moncion Guillaume Hutzler Patrick Amar

Published in: AAMAS (2005)

Keyphrases

petri net
discrete event systems
petri net model
manufacturing systems
high level petri nets
state machines
service composition
colored petri nets
fuzzy petri net
stochastic petri net
concurrent systems
process model
ims ld
discrete dynamical systems