×

Found 7 Documents (Results 1–7)

Asynchronous traces and open Petri nets. (English) Zbl 1434.68320

Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 86-102 (2015).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Petri nets are dioids. (English) Zbl 1170.68536

Meseguer, José (ed.) et al., Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28–31, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79979-5/pbk). Lecture Notes in Computer Science 5140, 51-66 (2008).
MSC:  68Q85 16Y60 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software