Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.

Mila E. Majster-Cederbaum, Christoph Minnameier

Browse the full SOFSEM paper archive.