@dblp

Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction.

, and . ICRA, page 1960-1965. IEEE, (1987)

Links and resources

Tags