On equivalence of safe Petri nets.

Kenichi Taniguchi, Toshio Matsuura, Yuji Sugiyama, Tadao Kasami

Browse the full FCT paper archive.