×

Found 101 Documents (Results 1–100)

Newest Citations Relevance
Wang, Runan; Casale, Giuliano; Filieri, Antonio

Service demand distribution estimation for microservices using Markovian arrival processes. (English) Zbl 1491.68032

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 310-328 (2021).
MSC:  68M20 60K30 90B22
PDF BibTeX XML Cite
\textit{R. Wang} et al., Lect. Notes Comput. Sci. 12846, 310--328 (2021; Zbl 1491.68032)
Full Text: DOI
Bouyer, Patricia; Haddad, Serge; Jugé, Vincent

Unbounded product-form Petri nets. (English) Zbl 1442.68127

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 31, 16 p. (2017).
MSC:  68Q85 60K30 68Q25 68Q87
PDF BibTeX XML Cite
\textit{P. Bouyer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 31, 16 p. (2017; Zbl 1442.68127)
Full Text: DOI arXiv
Joye, Marc

Identity-based cryptosystems and quadratic residuosity. (English) Zbl 1388.94062

Cheng, Chen-Mou (ed.) et al., Public-key cryptography – PKC 2016. 19th IACR international conference on practice and theory in public-key cryptography, Taipei, Taiwan, March 6–9, 2016. Proceedings. Part I. Berlin: Springer (ISBN 978-3-662-49383-0/pbk; 978-3-662-49384-7/ebook). Lecture Notes in Computer Science 9614, 225-254 (2016).
MSC:  94A60
PDF BibTeX XML Cite
\textit{M. Joye}, Lect. Notes Comput. Sci. 9614, 225--254 (2016; Zbl 1388.94062)
Full Text: DOI
Barbot, Benoît; Kwiatkowska, Marta

On quantitative modelling and verification of DNA walker circuits using stochastic Petri nets. (English) Zbl 1432.68144

Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9115, 1-32 (2015).
MSC:  68Q07 68Q60 68Q85
PDF BibTeX XML Cite
\textit{B. Barbot} and \textit{M. Kwiatkowska}, Lect. Notes Comput. Sci. 9115, 1--32 (2015; Zbl 1432.68144)
Full Text: DOI
Lopes, Bruno; Benevides, Mario; Haeusler, Edward Hermann

Extending propositional dynamic logic for Petri nets. (English) Zbl 1335.68175

Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 67-83, electronic only (2014).
MSC:  68Q85 03B45 03B70 68N30 68Q17 68Q60
PDF BibTeX XML Cite
\textit{B. Lopes} et al., Electron. Notes Theor. Comput. Sci. 305, 67--83 (2014; Zbl 1335.68175)
Full Text: DOI
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
PDF BibTeX XML Cite
\textit{M. Beccuti} et al., Lect. Notes Comput. Sci. 8489, 273--293 (2014; Zbl 1410.68247)
Full Text: DOI arXiv
Balsamo, Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea

Modelling retrial-upon-conflict systems with product-form stochastic Petri nets. (English) Zbl 1390.68456

Dudin, Alexander (ed.) et al., Analytical and stochastic modeling techniques and applications. 20th international conference, ASMTA 2013, Ghent, Belgium, July 8–10, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39407-2/pbk). Lecture Notes in Computer Science 7984, 52-66 (2013).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
\textit{S. Balsamo} et al., Lect. Notes Comput. Sci. 7984, 52--66 (2013; Zbl 1390.68456)
Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun

A semantics for every GSPN. (English) Zbl 1381.68199

Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 90-109 (2013).
MSC:  68Q85 68Q55 68Q87
PDF BibTeX XML Cite
\textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 7927, 90--109 (2013; Zbl 1381.68199)
Full Text: DOI
Balbo, G.; Beccuti, M.; De Pierro, M.; Franceschinis, G.

Stochastic Petri nets sensitivity to token scheduling policies. (English) Zbl 1420.68142

Hu, Bo (ed.) et al., Operations research proceedings 2010. Selected papers of the annual international conference of the German Operations Research Society (GOR), Universität der Bundeswehr München, September 1–3, 2010. Berlin: Springer. Oper. Res. Proc., 181-186 (2011).
MSC:  68Q85 68M20 68Q87 90B36
PDF BibTeX XML Cite
\textit{G. Balbo} et al., Oper. Res. Proc. 2010, 181--186 (2011; Zbl 1420.68142)
Full Text: DOI
Kempf, Jean-Francois; Bozga, Marius; Maler, Oded

Performance evaluation of schedulers in a probabilistic setting. (English) Zbl 1348.68023

Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 1-17 (2011).
MSC:  68M20
PDF BibTeX XML Cite
\textit{J.-F. Kempf} et al., Lect. Notes Comput. Sci. 6919, 1--17 (2011; Zbl 1348.68023)
Full Text: DOI
Brázdil, Tomáš; Krčál, Jan; Křetínský, Jan; Řehák, Vojtěch

Fixed-delay events in generalized semi-Markov processes revisited. (English) Zbl 1343.68161

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 140-155 (2011).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{T. Brázdil} et al., Lect. Notes Comput. Sci. 6901, 140--155 (2011; Zbl 1343.68161)
Full Text: DOI arXiv
Haddad, S.; Mairesse, J.; Nguyen, H-T.

Synthesis and analysis of product-form Petri nets. (English) Zbl 1330.68203

Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 288-307 (2011).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{S. Haddad} et al., Lect. Notes Comput. Sci. 6709, 288--307 (2011; Zbl 1330.68203)
Full Text: DOI Link
Billington, Jonathan; Gallasch, Guy Edward

On parametric steady state analysis of a generalized stochastic Petri net with a fork-join subnet. (English) Zbl 1330.68193

Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 268-287 (2011).
MSC:  68Q85 60J28 68Q87
PDF BibTeX XML Cite
\textit{J. Billington} and \textit{G. E. Gallasch}, Lect. Notes Comput. Sci. 6709, 268--287 (2011; Zbl 1330.68193)
Full Text: DOI
Heiner, Monika; Gilbert, David

How Petri nets might enhance your systems biology toolkit. (English) Zbl 1332.92021

Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 17-37 (2011).
MSC:  92C42 68Q85
PDF BibTeX XML Cite
\textit{M. Heiner} and \textit{D. Gilbert}, Lect. Notes Comput. Sci. 6709, 17--37 (2011; Zbl 1332.92021)
Full Text: DOI
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
PDF BibTeX XML Cite
\textit{H. Hermanns} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 6286, 311--337 (2010; Zbl 1312.68152)
Full Text: DOI Link
Ballarini, Paolo; Mardare, Radu; Mura, Ivan

Analysing biochemical oscillation through probabilistic model checking. (English) Zbl 1283.92023

Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 3-19 (2009).
MSC:  92C40 68Q60
PDF BibTeX XML Cite
\textit{P. Ballarini} et al., Electron. Notes Theor. Comput. Sci. 229, No. 1, 3--19 (2009; Zbl 1283.92023)
Full Text: DOI
Bouillard, Anne; Haar, Stefan; Rosario, Sidney

Critical paths in the partial order unfolding of a stochastic Petri net. (English) Zbl 1262.68135

Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 43-57 (2009).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
\textit{A. Bouillard} et al., Lect. Notes Comput. Sci. 5813, 43--57 (2009; Zbl 1262.68135)
Full Text: DOI
Heiner, Monika; Lehrack, Sebastian; Gilbert, David; Marwan, Wolfgang

Extended stochastic Petri nets for model-based design of wetlab experiments. (English) Zbl 1260.68268

Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XI. Berlin: Springer (ISBN 978-3-642-04185-3/pbk). Lecture Notes in Computer Science 5750. Lecture Notes in Bioinformatics. Journal Subline, 138-163 (2009).
MSC:  68Q85 68Q87 92-08 92C40
PDF BibTeX XML Cite
\textit{M. Heiner} et al., Lect. Notes Comput. Sci. 5750, 138--163 (2009; Zbl 1260.68268)
Full Text: DOI
Bouillard, Anne; Rosario, Sidney; Benveniste, Albert; Haar, Stefan

Monotonicity in service orchestrations. (English) Zbl 1242.68009

Franceschinis, Giuliana (ed.) et al., Applications and theory of Petri nets. 30th international conference, PETRI NETS 2009, Paris, France, June 22–26, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02423-8/pbk). Lecture Notes in Computer Science 5606, 263-282 (2009).
MSC:  68M11 68Q85
PDF BibTeX XML Cite
\textit{A. Bouillard} et al., Lect. Notes Comput. Sci. 5606, 263--282 (2009; Zbl 1242.68009)
Full Text: DOI
Bachmann, Jens; Riedl, Martin; Schuster, Johann; Siegle, Markus

An efficient symbolic elimination algorithm for the stochastic process algebra tool CASPA. (English) Zbl 1206.68208

Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 485-496 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{J. Bachmann} et al., Lect. Notes Comput. Sci. 5404, 485--496 (2009; Zbl 1206.68208)
Full Text: DOI
Gharbi, Nawel

On the applicability of stochastic Petri nets for analysis of multiserver retrial systems with different vacation policies. (English) Zbl 1183.68040

Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 289-302 (2008).
MSC:  68M10 68Q85
PDF BibTeX XML Cite
\textit{N. Gharbi}, Lect. Notes Comput. Sci. 5311, 289--302 (2008; Zbl 1183.68040)
Full Text: DOI
Sessego, Fausto; Giua, Alessandro; Seatzu, Carla

HYPENS: A MATLAB tool for timed discrete, continuous and hybrid Petri nets. (English) Zbl 1143.68494

van Hee, Kees M. (ed.) et al., Applications and theory of Petri nets. 29th international conference, PETRI NETS 2008, Xi’an, China, June 23–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68745-0/pbk). Lecture Notes in Computer Science 5062, 419-428 (2008).
MSC:  68Q85 68U20
PDF BibTeX XML Cite
\textit{F. Sessego} et al., Lect. Notes Comput. Sci. 5062, 419--428 (2008; Zbl 1143.68494)
Full Text: DOI
Hiraishi, Kunihiko

Performance evaluation of workflows using continuous Petri nets with interval firing speeds. (English) Zbl 1143.68485

van Hee, Kees M. (ed.) et al., Applications and theory of Petri nets. 29th international conference, PETRI NETS 2008, Xi’an, China, June 23–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68745-0/pbk). Lecture Notes in Computer Science 5062, 231-250 (2008).
MSC:  68Q85 68U35
PDF BibTeX XML Cite
\textit{K. Hiraishi}, Lect. Notes Comput. Sci. 5062, 231--250 (2008; Zbl 1143.68485)
Full Text: DOI
Kosiuczenko, Piotr; Lajios, Georgios

Simulation of generalised semi-Markov processes based on graph transformation systems. (English) Zbl 1278.68217

Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 4, 73-86 (2007).
MSC:  68Q85 68Q87 68Q42 68R10
PDF BibTeX XML Cite
\textit{P. Kosiuczenko} and \textit{G. Lajios}, Electron. Notes Theor. Comput. Sci. 175, No. 4, 73--86 (2007; Zbl 1278.68217)
Full Text: DOI
Finkel, A.; Raskin, J.-F.; Samuelides, M.; van Begin, L.

Monotonic extensions of Petri nets: forward and backward search revisited. (English) Zbl 1270.68214

Kucera, Antonin (ed.) et al., Infinity 2002. Selected papers of the 4th international workshop on verification of infinite-state systems (CONCUR 2002 satellite workshop), Brno, Czech Republic, August 24, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 6, 85-106 (2003).
MSC:  68Q85 68Q60 68P05
PDF BibTeX XML Cite
\textit{A. Finkel} et al., Electron. Notes Theor. Comput. Sci. 68, No. 6, 85--106 (2003; Zbl 1270.68214)
Full Text: Link
Gharbi, Nawel; Ioualalen, Malika

Performance analysis of retrial queueing systems using generalized stochastic Petri nets. (English) Zbl 1270.68051

Asarin, Eugene (ed.) et al., TPTS’2002. Proceedings of the 1st workshop on the theory and practice of timed systems (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 6, 86-100 (2002).
MSC:  68M20 68Q85
PDF BibTeX XML Cite
\textit{N. Gharbi} and \textit{M. Ioualalen}, Electron. Notes Theor. Comput. Sci. 65, No. 6, 86--100 (2002; Zbl 1270.68051)
Full Text: DOI
Gribaudo, Marco; Sereno, Matteo

On the use of structural Petri net analysis for studying product form equilibrium distributions of queueing networks with blocking. (English) Zbl 1510.68057

Desel, Jörg (ed.) et al., Application and theory of Petri nets 1998. 19th international conference, ICATPN’98, Lisbon, Portugal, June 22–26, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1420, 246-265 (1998).
MSC:  68Q85 60K25 68Q87
PDF BibTeX XML Cite
\textit{M. Gribaudo} and \textit{M. Sereno}, Lect. Notes Comput. Sci. 1420, 246--265 (1998; Zbl 1510.68057)
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software