@inproceedings{ce70ccbc1bed4288bd45da42c639345c,
title = "Deciding life-cycle inheritance on Petri nets.",
author = "H.M.W. Verbeek and T. Basten",
year = "2003",
language = "English",
isbn = "3-540-40334-5",
series = "Lecture notes in Computer Science",
publisher = "Springer",
pages = "44--63",
editor = "{Aalst, van der}, W.M.P. and E. Best",
booktitle = "Applications and Theory of Petri Nets 2003, 24th international conference ICATPN 2003, proceedings",
address = "Germany",
note = "24th International Conference on Application and Theory of Petri Nets, ICATPN 2003, ICATPN 2003 ; Conference date: 23-06-2003 Through 27-06-2003",
}