941 search results - page 8 / 189 » Petri Nets Are Dioids |
APN
2003
Springer
15 years 3 months ago
2003
Springer
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
ACIIDS
2010
IEEE
15 years 2 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...
111
click to vote
ISSE
2010
14 years 6 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...
APN
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents the EXHOST-PIPE software: an extension of PIPE
109
click to vote
LATA
2010
Springer
14 years 10 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...