© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets
B. Bordbar, L. Giacomini, and D. J. Holding
In Proceedings of the 6th International Workshop on Discrete Event Systems, pages 182-196, Ghent, Belgium, August 2000 To appear.Bibtex Record
@inproceedings{1044, author = {B. Bordbar and L. Giacomini and D. J. Holding}, title = {{Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets}}, month = {August}, year = {2000}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {To appear}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2000/1044}, address = {Ghent, Belgium}, booktitle = {Proceedings of the 6th International Workshop on Discrete Event Systems}, publication_type = {inproceedings}, submission_id = {12333_958484227}, }