Vol-850⫷ Vol-851 ⫸Vol-852
urn:nbn:de:0074-851-0


None⫷None⫸None
Christian StahlMichael WestergaardDirk Fahland

Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification