A Layered Approach to Automatic Construction of Large Scale Petri Nets : Modelling Railway Systems

[1]  Shaoying Liu.  The Set Types , 2004 .

[2]  Bernth Lindfors,et al.  More Than Once , 1967 .