176 search results - page 14 / 36 » Modelling with Generalized Stochastic Petri Nets |
181
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
115
click to vote
ENTCS
2008
15 years 1 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
AIIDE
2008
15 years 3 months ago
2008
Petri Nets can be used for a retrospective analysis of a computer game story, for representing plots in serious games as well as for monitoring the course of the story, as recentl...
124
click to vote
APN
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions. In this model, ...
109
click to vote
DAGSTUHL
2006
15 years 2 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...