Vol-3169⫷ Vol-3170 ⫸Vol-3171
urn:nbn:de:0074-3170-0


Vol-3170/paper2⫷Vol-3170/paper3⫸Vol-3170/paper4

Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure