×

Found 11 Documents (Results 1–11)

Flat Petri nets (invited talk). (English) Zbl 1489.68164

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 17-30 (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Verification of flat FIFO systems. (English) Zbl 07649920

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 12, 17 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Fair termination for parameterized probabilistic concurrent systems. (English) Zbl 1452.68127

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 499-517 (2017).
MSC:  68Q85 68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Forward analysis and model checking for trace bounded WSTS. (English) Zbl 1330.68197

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, 49-68 (2011).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reachability in timed counter systems. (English) Zbl 1347.68255

Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 167-178 (2009).
MSC:  68Q85 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Experimenting formal proofs of Petri nets refinements. (English) Zbl 1283.68236

Boiten, Eerke (ed.) et al., Proceedings of the 13th BCS-FACS refinement workshop (REFINE 2008), Turku, Finland, May 27, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 214, 231-254 (2008).
MSC:  68Q85 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

Flat counter automata almost everywhere! (English) Zbl 1170.68519

Peled, Doron A. (ed.) et al., Automated technology for verification and analysis. Third international symposium, ATVA 2005, Taipei, Taiwan, October 4–7, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29209-8/pbk). Lecture Notes in Computer Science 3707, 489-503 (2005).
MSC:  68Q60 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software