Omega-Petri nets: algorithms and complexity

TitleOmega-Petri nets: algorithms and complexity
Publication TypeJournal Article
Year of Publication2014
AuthorsGeeraerts, G, Praveen M, Heußner A, Raskin J-F
JournalFundamenta Informatica
Pagination36
URLhttp://www.ulb.ac.be/di/verif/ggeeraer/papers/GHPR13-journal.pdf