10 search results - page 2 / 2 » Deficiency Zero Petri Nets and Product Form |
SIAMAM
2008
13 years 7 months ago
2008
We consider a class of nonlinear differential equations that arises in the study of chemical reaction systems known to be locally asymptotically stable and prove that they are in f...
SIGSOFT
1996
ACM
13 years 11 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
APN
1995
Springer
13 years 11 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...
AUSAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a formulation of an optimality principle for a new class of concurrent decision systems formed by products of deterministic Markov decision processes ...
DEDS
2007
13 years 7 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...