Ugo A. Buy, Gaurav Singal. Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. In 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings. pages 717-722, IEEE Computer Society, 2002. [doi]
Abstract is missing.