@inproceedings{1cd44b318b2042509ced1ab8d255a7b7,
title = "Optimising Enabling Tests and Unfoldings on Algebraic System Nets",
keywords = "high-level Petri nets, reachability analysis, unfolding, unification, high-level Petri nets, reachability analysis, unfolding, unification, high-level Petri nets, reachability analysis, unfolding, unification",
author = "Marko M{\"a}kel{\"a}",
year = "2001",
language = "English",
pages = "283--302",
editor = "J.-M. Colom and M. Koutny",
booktitle = "22nd International Conference on Application and Theory of Petri Nets, Newcastle upon Tyne, UK, June 27-29, 2001",
publisher = "Springer",
address = "Germany",
}