Login / Signup
Analyzing a space-protocol: from specification, simulation to experimentation.
Marc Andreu
Michèle Haziza
Claude Jard
Jean-Marc Jézéquel
Published in:
FORTE (1992)
Keyphrases
</>
lightweight
high level
colored petri nets
simulation environment
mathematical model
network simulator
vector space
simulation study
search space
qualitative simulation
state machines
protocol specification
coloured petri nets
low dimensional
petri net
formal analysis
communication protocols
state machine
data sets