Jean-Marie Proth, Liming Wang, Xiaolan Xie: A class of Petri nets for manufacturing system integration. IEEE Trans. Robotics Autom. 13(3): 317-326 (1997)