Checking properties of nets using transformations

Advances in Petri Nets 1985 - Lecture Notes in Computer Science ◽

10.1007/bfb0016204 ◽

2005 ◽

pp. 19-40 ◽

Cited By ~ 96

Author(s):

G. Berthelot ◽

Lri-Iie

Download Full-text