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


Vol-3430/paper1⫷Vol-3430/paper2⫸Vol-3430/paper3

Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets