Rapid Prototyping of Control Systems Using High Level Petri Nets. - Giorgio Bruno; Giuseppe Marchetto (ICSE, 1985)

Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems. - Giorgio Bruno; Giuseppe Marchetto (IEEE Trans. Software Eng., 1986)