On the Importance of the Deadlock Trap Property for Monotonic Liveness
Title | On the Importance of the Deadlock Trap Property for Monotonic Liveness |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Heiner, M, Mahulea C, Silva M |
Conference Name | Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010 |
Date Published | 06/2010 |
Conference Location | Braga, Portugal |
ISBN Number | 978-972-8692-53-7 |
URL | http://www-dssz.informatik.tu-cottbus.de/publications/BioPPN_2010/BioPPN_braga_2010_proceedings.pdf |
Export |