×

Found 11 Documents (Results 1–11)

Grade/CPN: a tool and temporal logic for testing colored Petri net models in teaching. (English) Zbl 1394.68258

Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency VIII. Berlin: Springer (ISBN 978-3-642-40464-1/pbk). Lecture Notes in Computer Science 8100. Journal Subline, 180-202 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software