357 search results - page 35 / 72 » On the Model of Computation of Place Transition Petri Nets |
SOFSEM
2009
Springer
14 years 6 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
BIRTHDAY
2008
Springer
13 years 12 months ago
2008
Springer
e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented severa...
TOPNOC
2008
13 years 9 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...
ICPPW
2008
IEEE
14 years 4 months ago
2008
IEEE
Power minimization is a serious issue in wireless sensor networks to extend the lifetime and minimize costs. However, in order to gain an accurate understanding of issues regardin...
BIB
2007
13 years 10 months ago
2007
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...