A Simulation Model of a Double Ring Protocol Based on Timed Well-Formed Coloured Petri Nets.

Giovanni Chiola Rossano Gaeta Matteo Sereno

Published in: MASCOTS (1993)

Keyphrases

coloured petri nets
simulation model
discrete event
formal verification
agent based simulation
simulation models
simulation environment
mathematical model
simulation tool
automatically generated
matlab simulink
electronic commerce
analytical model
timed automata