189 search results - page 17 / 38 » The unfolding of general Petri nets |
169
click to vote
SMC
2007
IEEE
16 years 10 days ago
2007
IEEE
— We present results of a collaboration project, during which parts of General Motors’ north American vehicle supply chain have been modeled and evaluated. A variant of colored...
180
click to vote
AUSAI
2008
Springer
15 years 8 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 ...
161
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
151
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
167
click to vote
TSMC
2010
15 years 23 days ago
2010
This paper introduces a new general methodology for the modeling and reliability evaluation of small isolated power systems, which include wind turbines, photovoltaics, and diesel ...