1014 search results - page 142 / 203 » ''What Is a Petri Net |
WSC
2008
15 years 3 months ago
2008
In this work, we propose a coordinator control recipe in the context of a batch process with the use of elements of petri nets and some techniques associated with non linear contr...
124
click to vote
AUSAI
2008
Springer
15 years 2 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 ...
96
Voted
ZEUS
2010
15 years 2 months ago
2010
Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapp...
116
click to vote
IASTEDSEA
2004
15 years 2 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
93
Voted
PDSE
2000
15 years 2 months ago
2000
In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of ion. An object-oriented design technique based on UML notations...