%0 Conference Paper %1 Reveliotis03 %A Reveliotis, Spyros A. %B Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003. Proceeding %D 2003 %K citas, citeulike deadlock, supervisory %P 241--255 %T On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems %U http://www.springerlink.com/content/tj9mkkqvblnygtjm/ %V 2679/2003

@inproceedings{Reveliotis03, added-at = {2017-09-08T10:52:59.000+0200}, author = {Reveliotis, Spyros A.}, biburl = {https://www.bibsonomy.org/bibtex/2825583be28d99b1c02a98659d55cdad3/fernand0}, booktitle = {Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003. Proceeding}, citeulike-article-id = {832214}, citeulike-linkout-0 = {http://www.springerlink.com/content/tj9mkkqvblnygtjm/}, interhash = {12253e5f53eabbcbfc383cf985cb7f60}, intrahash = {825583be28d99b1c02a98659d55cdad3}, keywords = {citas, citeulike deadlock, supervisory}, pages = {241--255}, posted-at = {2006-09-06 12:01:28}, priority = {2}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems}}, url = {http://www.springerlink.com/content/tj9mkkqvblnygtjm/}, volume = {2679/2003}, year = 2003 }