Bibliography
Controller Synthesis for Object Petri Nets
Berndt Farwer, Saraswati Kalvala, and Kundan Misra.
Controller synthesis for object Petri nets.
In Formal Methods and Software Engineering: 5th International
Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November
5-7, 2003, Proceedings, volume 2885 of Lecture Notes in Computer
Science, pages 432-451. Springer-Verlag, November 2003.
BibTeX
@inproceedings{Farwer+03b,
Author = {Farwer, Berndt and Kalvala, Saraswati and Misra, Kundan},
Booktitle = {Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5--7, 2003, Proceedings},
Month = nov,
Pages = {432--451},
series = LNCS,
volume = {2885},
Publisher = Springer,
Title = {Controller Synthesis for Object {Petri} Nets},
Year = 2003
}
