On the Border of Universality and Non-Universality in Restricted High-Level Petri Nets.

Ulrich Nitsche

Browse the full MCU paper archive.