Vol-4235⫷ Vol-4236 ⫸Vol-4237
urn:nbn:de:0074-4236-0


Vol-4236/paper2⫷Vol-4236/paper3⫸Vol-4236/paper4
Yannis DimopoulosEleftheria KouppariAnna Philippou

Declarative modelling and analysis of reversing Petri nets