G. Ciardo, R. Zijal, Well-defined stochastic Petri nets, in: MASCOTS, 1996, pp. 278--284. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
On Concurrent Events and Correctness in Stochastic Models - Deavours (2002) (Correct)
An Efficient Well-Specified Check - Deavours, Sanders (1999) (Correct)
Stochastic Activity Networks: Formal Definitions and Concepts - Sanders, Meyer (2001) (2 citations) (Correct)
Analysis Of Connection As A Decomposition Technique - Daly (2001) (Correct)
Recent Developments in Non-Markovian Stochastic Petri Nets - Bobbio, Puliafito, Telek, .. (1998) (2 citations) (Correct)
A Modeling Framework to Implement Preemption Policies in.. - Bobbio, Puliafito, al. (2000) (5 citations) (Correct)
Action Models: A Reliability Modeling Formalism for.. - van Moorsel (1998) (Correct)
Algorithms for the Generation of State-Level.. - Qureshi, Sanders, .. (5 citations) (Correct)
TimeNET 2.0 - User's Manual (Correct)
On the use of MTBDDs for performability analysis.. - Hermanns.. (2002) (2 citations) (Correct)
Recent Developments in Non-Markovian Stochastic Petri Nets - Bobbio, Puliafito, Telek, .. (1998) (2 citations) (Correct)
Discrete Deterministic and Stochastic Petri Nets - Zijal, Ciardo (1996) (5 citations) Self-citation (Ciardo Zijal) (Correct)
Discrete Deterministic and Stochastic Petri Nets - Zijal, Ciardo, Hommel (1997) (5 citations) Self-citation (Ciardo Zijal) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC