For general Petri nets such as S3PGR2 (systems of simple sequential processes with general resources requirement), the mixed integer programming (MIP) test by Chu et al. is no longer valid. Park et al. modified MIP test and claimed that it can determine the net is live if there are no feasible solutions. However, the net can have livelocks even though it is deadlockfree. The set of places with dead input transitions may not form a siphon and cannot be detected by the above modified MIP test which detects siphons and not their subsets. We show one counter example to confirm this and propose a revised MIP test to fix the problem. © Springer-Verlag London Limited 2009.
CITATION STYLE
Shih, Y. Y., Chao, D. Y., & Chiu, C. Y. (2009). A new MIP test for S3PGR2. In Global Perspective for Competitive Enterprise, Economy and Ecology - Proceedings of the 16th ISPE International Conference on Concurrent Engineering (pp. 41–52). Springer-Verlag London Ltd. https://doi.org/10.1007/978-1-84882-762-2_4
Mendeley helps you to discover research relevant for your work.