941 search results - page 21 / 189 » Haskell-Coloured Petri Nets |
APN
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we complete the semantical framework proposed in [12] for process and causality semantics of Petri nets by an additional aim and develop process and causality semanti...
ATVA
2004
Springer
14 years 22 days ago
2004
Springer
ICCS
2004
Springer
14 years 21 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
BIRTHDAY
2005
Springer
14 years 26 days ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
ACIIDS
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...