941 search results - page 10 / 189 » Petri Nets Are Dioids |
MCS
2006
Springer
14 years 11 months ago
2006
Springer
104
click to vote
WSC
2007
15 years 2 months ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
EMISA
2002
Springer
14 years 11 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
ENTCS
2002
14 years 11 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, ...
119
click to vote
JOT
2010
14 years 10 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...