181 search results - page 3 / 37 » Petri Net Based Simulation of Construction Schedules |
WSC
2007
13 years 7 months ago
2007
In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary P...
FUIN
2007
13 years 4 months ago
2007
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 ...
ICONIP
2004
13 years 6 months ago
2004
The complexity of gene regulatory network models stems from the fact that the models should be able to represent continuous, discrete as well as stochastic aspects of gene regulati...
BIOCOMP
2006
13 years 6 months ago
2006
Intracellular signaling pathways as well as the interactions and coordination that exist among them are complex and difficult to visualize and understand. Computer-based models of...
EMISA
2002
Springer
13 years 4 months ago
2002
Springer
: In this paper a proposal for the Biology Petri Net Markup Language (BioPNML) is presented. The concepts and terminology of the interchange format as well as its syntax that is ba...