Jetty Kleijn Maciej Koutny Processes of Petri Nets with Range Testing. 199-219 2007 80 Fundam. Inform. 1-3 http://iospress.metapress.com/content/b7142368126j8686/ db/journals/fuin/fuin80.html#KleijnK07