941 search results - page 25 / 189 » Haskell-Coloured Petri Nets |
EMISA
2002
Springer
13 years 7 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...
SMC
2007
IEEE
14 years 1 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 ...
GECCO
2004
Springer
14 years 22 days ago
2004
Springer
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
PPDP
2004
Springer
14 years 21 days ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
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, ...