A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations.

Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin

Browse the full LATA paper archive.