638 search results - page 32 / 128 » Animation modeling with petri nets |
LATA
2010
Springer
13 years 6 months ago
2010
Springer
We apply language theory to compare the expressive power of models that extend Petri nets with features like colored tokens and/or whole place operations. Specifically, we conside...
ENTCS
2002
13 years 7 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
CMSB
2007
Springer
14 years 1 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...
FUIN
2010
13 years 5 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
ICTAI
2003
IEEE
14 years 28 days ago
2003
IEEE
The fuzzy belief Petri net we propose in this paper propagates fuzzy beliefs from observations at nodes that represent measured parameters to fuzzy beliefs of the truths of parame...