Optimising enabling tests and unfoldings of algebraic system nets (2001)
AUTHORS:
Mäkelä Marko
BOOKTITLE:
Application and Theory of Petri Nets 2001: 22\textsuperscriptnd International Conference, ICATPN 2001
SERIES:
Lecture Notes in Computer Science
PAGES:
283--302
URL:
http://link.springer.de/link/service/series/0558/bibs/2075/20750283.htm
PDF:
pdf/enabling.pdf
@inproceedings{ Makela:enabling, editor = "Colom, José-Manuel and Koutny, Maciej", author = {M{\"a}kel{\"a}, Marko}, publisher = "Springer-Verlag, Berlin, Germany", title = "Optimising enabling tests and unfoldings of algebraic system nets", url = "http://link.springer.de/link/service/series/0558/bibs/2075/20750283.htm", series = "Lecture Notes in Computer Science", booktitle = "Application and Theory of Petri Nets 2001: 22\textsuperscript{nd} International Conference, ICATPN 2001", address = "Newcastle upon Tyne, UK", number = "2075", abstract = "Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under which transitions are enabled. Unlike the majority of earlier work on computing enabled transition bindings, the techniques presented in this paper are highly independent of the algebraic operations supported by the high-level net formalism. Performing enabling tests is viewed as a unification problem. A unification algorithm is presented and modifications to it are suggested. One variant of the algorithm constructs finite unfoldings for nets with unbounded domains. Some heuristics for optimising the enabling tests are discussed and their usefulness is evaluated based on experiments. The algorithms have been implemented in the reachability analyser Maria.", month = "June", flags = "public", year = "2001", keywords = "high-level Petri nets, reachability analysis, unification, unfolding", pdf = "enabling.pdf", pages = "283--302", errata = "http://www.tcs.hut.fi/~msmakela/papers/enabling.html" }