Sciweavers

941 search results - page 4 / 189
» Self-Evolving Petri Nets
Sort
View
ICALP
2005
Springer
14 years 1 months ago
Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
Eric Badouel, Jules Chenou, Goulven Guillou
FBIT
2007
IEEE
14 years 2 months ago
Simulating Biological Pathways with a Continuous Petri Net Using Runge-Kutta Methods
The application of Petri nets to analyze and simulate biological pathways has been developed vigorously. Some of the modifications of Petri nets appeared to perform quantitative a...
Sunku Kang, Byungwoo Lee, Jihoon Yang, Seonho Kim,...
APN
2003
Springer
13 years 11 months ago
The Petri Net Markup Language: Concepts, Technology, and Tools
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 ...
Jonathan Billington, Søren Christensen, Kee...
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
13 years 10 months ago
Evolving Concurrent Petri Net Models of Epistasis
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...
Michael Mayo, Lorenzo Beretta
JNW
2010
67views more  JNW 2010»
13 years 6 months ago
A Petri Net Synthesis Method
—A Petri net synthesis method is proposed, which is the key method to ensure the synthesis net preserving well behaved properties. Conditions of structural liveness preservation ...
Chuanliang Xia