×

Found 7 Documents (Results 1–7)

Computing parameterized invariants of parameterized Petri nets. (English) Zbl 1489.68158

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

The asynchronous committee meeting problem. (English) Zbl 1528.68251

van Leeuwen, Jan (ed.), WG ’93. Graph-theoretic concepts in computer science, 19th international workshop, Utrecht, the Netherlands, June 16–18, 1993. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 790, 276-287 (1994).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software