Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios

Petri Nets and Other Models of Concurrency – ICATPN 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73094-1_21 ◽

2007 ◽

pp. 342-361 ◽

Cited By ~ 3

Author(s):

Robert Lorenz ◽

Sebastian Mauser ◽

Robin Bergenthum

Download Full-text