638 search results - page 7 / 128 » Animation modeling with petri nets |
APN
2007
Springer
14 years 1 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
APN
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
IWIA
2006
IEEE
14 years 1 months ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
ICALP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...