Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems.

Ugo A. Buy, Gaurav Singal

Browse the full COMPSAC paper archive.