Infinite Process Semantics of Inhibitor Nets

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

10.1007/11767589_16 ◽

2006 ◽

pp. 282-301 ◽

Cited By ~ 2

Author(s):

H. C. M. Kleijn ◽

M. Koutny

Download Full-text