© 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}, }