Document Search Results

Newest Citations Relevance

Beccuti, Marco; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Angius, Alessio; Balbo, Gianfranco

Analysis of Petri net models through stochastic differential equations. (English) Zbl 1410.68247

Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 273-293 (2014).

MSC: 68Q85 60H10 60J28 68Q87

Cite Review PDF

Full Text: DOI arXiv

Hermanns, Holger; Katoen, Joost-Pieter

The how and why of interactive Markov chains. (English) Zbl 1312.68152

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4–6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 311-337 (2010).

MSC: 68Q85 60J20 68Q87

Cite Review PDF

Full Text: DOI Link

Haddad, Serge; Moreaux, Patrice

Asynchronous composition of high level Petri nets: a quantitative approach. (English) Zbl 1418.68141

Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 192-211 (1996).

MSC: 68Q85 68Q87

Cite Review PDF

Full Text: DOI

Found 3 Documents (Results 1–3)

Analysis of Petri net models through stochastic differential equations. (English) Zbl 1410.68247

The how and why of interactive Markov chains. (English) Zbl 1312.68152

Asynchronous composition of high level Petri nets: a quantitative approach. (English) Zbl 1418.68141

Filter Results by …

Author

Year of Publication

Main Field

Software