@inproceedings{inproceedings8188e188, title = {Pfs / mfg: a high level net for the modeling of discrete manufacturing systems}, author = {Silva, José Reinaldo and Miyagi, Paulo Eigi}, year = {1995}, publisher = {Chapman and Hall}, booktitle = {International Conference on Architectures and Design Methods for Balanced Automation Systems} }