© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Min-plus Polynomial Approach to Forbidden State Control for General Petri Nets
R. K. Boel, B. Bordbar, and G. Stremersch
In Proceedings of the 4th International Workshop on Discrete Event Systems, pages 182-196, Cagliari, Italy, August 1998.Bibtex Record
@inproceedings{1047, author = {R. K. Boel and B. Bordbar and G. Stremersch}, title = {{A Min-plus Polynomial Approach to Forbidden State Control for General Petri Nets}}, month = {August}, year = {1998}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1998/1047}, address = {Cagliari, Italy}, booktitle = {Proceedings of the 4th International Workshop on Discrete Event Systems}, publication_type = {inproceedings}, submission_id = {12410_958484577}, }