@article{article33147153,
title   = {A formal approach to PFS/MFG: a Petri net representation of discrete manufacturing systems},
author = {Silva, José Reinaldo and Miyagi, Paulo Eigi},
year = {1996},
journal   = {Studies in Informatics and Control}
}