Component Tools: Integrating Petri Nets with Other Formal Methods.

Ekkart Kindler Vladimir Rubin Robert Wagner Component Tools: Integrating Petri Nets with Other Formal Methods. 37-56 2006 conf/apn/2006 ICATPN http://dx.doi.org/10.1007/11767589_3 db/conf/apn/icatpn2006.html#KindlerRW06