124 search results - page 5 / 25 » Discrete Event Diagnosis using Petri Nets |
DAGSTUHL
2006
13 years 6 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...
ICONIP
2004
13 years 6 months ago
2004
The complexity of gene regulatory network models stems from the fact that the models should be able to represent continuous, discrete as well as stochastic aspects of gene regulati...
INFORMS
1998
13 years 5 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
IEAAIE
2000
Springer
13 years 9 months ago
2000
Springer
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
SOFSEM
2009
Springer
14 years 2 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...