Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets

TitleAdvanced Saturation-based Model Checking of Well-formed Coloured Petri Nets
Publication TypeJournal Article
Year of Publication2014
AuthorsVörös, A., Darvas, D., Jámbor, A., and Bartha, T.
JournalPeriodica Polytechnica, Electrical Engineering and Computer Science
Volume58
Start Page3
Pagination11
ISSN2064-5279
URLhttp://www.pp.bme.hu/eecs/article/viewFile/2080/6336
DOI10.3311/PPee.2080