Merkliste 
 1 Ergebnisse 
 
1

Transition systems, link graphs and Petri nets:

LEIFER, JAMES J. ; MILNER, ROBIN
Mathematical Structures in Computer Science.  16 (2006)  6 - p. 989 , 2006