Rodney R. Howell;Louis E. Rosier;Hsu-Chun Yen
Univ. of Texas at Austin, Austin, TX;Univ. of Texas at Austin, Austin, TX;Univ. of Texas at Austin, Austin, TX
Linear time analysis of properties of conflict-free and general Petri nets
Theoretical Computer Science