1. Yuan C (2005) The principle of Petri nets. Publishing House of Electronics Industry, Beijing
2. Zhao W, Huang Y, Yuan C (2008) Synchronic distance based workflow logic specification. In: Proceedings of the 2008 10th IEEE international conference on high performance computing and communications, pp 400–405
3. Ezpeleta J, Colorn JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11(2):303–306
4. Shan Z, Lin C, Ren F et al (2003) Modeling and performance analysis of a multiserver multiqueue system on the grid. In: Proceedings of the ninth IEEE workshop on future trends of distributed computing systems (FTDCS’03), pp 800–804
5. Li Z, Liu B, Li X, Yin Y (2011) Verification of safety-critical software requirement based on Petri-net model checking. Syst Eng Electron 33(2):458–463