On the Importance of the Deadlock Trap Property for Monotonic Liveness

TitleOn the Importance of the Deadlock Trap Property for Monotonic Liveness
Publication TypeConference Paper
Year of Publication2010
AuthorsHeiner, M, Mahulea C, Silva M
Conference NameInt. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010
Date Published06/2010
Conference LocationBraga, Portugal
ISBN Number978-972-8692-53-7
URLhttp://www-dssz.informatik.tu-cottbus.de/publications/BioPPN_2010/BioPPN_braga_2010_proceedings.pdf
Export