@inproceedings{inproceedings11207401, title = {Hierarchical modeling of discrete event driven production systems and its formalization}, author = {Matsusaki, Cristina Toshie Motohashi and Miyagi, Paulo Eigi and Takahashi, K.}, year = {1995}, publisher = {SICE}, booktitle = {Workshop on Discrete Event Systems} }