8 search results - page 2 / 2 » An Extensible Editor and Simulation Engine for Petri Nets: R... |
GI
2009
Springer
13 years 8 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
FMCO
2009
Springer
13 years 2 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
12
Voted
SIMUTOOLS
2008
13 years 6 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...