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

Parosh Aziz Abdulla Giorgio Delzanno Laurent Van Begin A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. 71-82 2009 LATA http://dx.doi.org/10.1007/978-3-642-00982-2_6 conf/lata/2009 db/conf/lata/lata2009.html#AbdullaDB09