@inproceedings{inproceedings8ecd4d6c,
title   = {Petri net generating development support system},
author = {Oumi, T and Ding, G and Murakoshi, H and Sugiyama, M and Dohi, Y and Cai, Y and Shih, Heloisa Helena Oliveira Martins and Sekiguchi, Takashi},
year = {1991},
publisher = {Ieee/Sice},
booktitle   = {International Conference on Industrial Electronics, Control and Instrumentation}
}