© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Controlled Timed Petri Nets: Equivalence Relations, Model Reduction
R. K. Boel, B. Bordbar, and G. Stremersch
In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pages 182-196, San Diego, California, USA, October 1998.Bibtex Record
@inproceedings{1046,
author = {R. K. Boel and B. Bordbar and G. Stremersch},
title = {{Controlled Timed Petri Nets: Equivalence Relations, Model Reduction}},
month = {October},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/1046},
address = {San Diego, California, USA},
booktitle = {Proceedings of the IEEE International Conference on Systems, Man and Cybernetics},
publication_type = {inproceedings},
submission_id = {12384_958484463},
}