Vol-3429⫷ Vol-3430 ⫸Vol-3431
urn:nbn:de:0074-3430-0


Vol-3430/paper3⫷Vol-3430/paper4⫸Vol-3430/paper5
Federica AdobbatiLuca BernardinelloLucia Pomello

Solving a Safety Game on the Unfolding of Safe Petri Nets