@dblp

Unfolding of Petri nets with semilinear reachability set.

, and . ISCAS (4), page 501-504. IEEE, (2004)

Links and resources

Tags