Vol-3729⫷ Vol-3730 ⫸Vol-3731
urn:nbn:de:0074-3730-0


Vol-3730/paper05⫷Vol-3730/paper06⫸Vol-3730/paper07
Simon BottDaniel MoldtLaif-Oke ClasenMarcel Hansson

Invariant Calculations for P/T-Nets with Synchronous Channels