© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Design of Distributed Manufacturing Systems using UML and Petri Nets
B. Bordbar, L. Giacomini, and D. J. Holding
In Proceedings of 6th International Federation of Automatic Control (IFAC), Workshop on Algorithms and Architectures for Real-Time Control, pages 182-196, Palma de Mallorca, Spain, May 2000.Bibtex Record
@inproceedings{1043, author = {B. Bordbar and L. Giacomini and D. J. Holding}, title = {{Design of Distributed Manufacturing Systems using UML and Petri Nets}}, month = {May}, year = {2000}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2000/1043}, address = {Palma de Mallorca, Spain}, booktitle = {Proceedings of 6th International Federation of Automatic Control (IFAC)}, publication_type = {inproceedings}, series = {Workshop on Algorithms and Architectures for Real-Time Control}, submission_id = {12304_958484082}, }