297 search results - page 17 / 60 » Validation of an agent based system using Petri Nets |
BPM
2004
Springer
15 years 4 months ago
2004
Springer
State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many...
DAGSTUHL
2006
15 years 2 days 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...
115
click to vote
ECMDAFA
2009
Springer
15 years 5 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
100
click to vote
CMSB
2007
Springer
15 years 4 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
SMC
2007
IEEE
15 years 5 months ago
2007
IEEE
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...