Sciweavers

3 search results - page 1 / 1
» Merged Processes - A New Condensed Representation of Petri N...
Sort
View
CONCUR
2005
Springer
13 years 10 months ago
Merged Processes - A New Condensed Representation of Petri Net Behaviour
Victor Khomenko, Alex Kondratyev, Maciej Koutny, W...
APN
2006
Springer
13 years 8 months ago
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
Serge Haddad, Lynda Mokdad, Patrice Moreaux
APN
2007
Springer
13 years 11 months ago
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
Marco Beccuti, Giuliana Franceschinis, Serge Hadda...