Vol-2906⫷ Vol-2907 ⫸Vol-2908
urn:nbn:de:0074-2907-0


Vol-2907/paper8⫷Vol-2907/paper9⫸Vol-2907/paper10

An Enhanced Rewriting Logic Based Semantics for High Level Petri nets