Proving System Properties by Means of Trigger-Graph and Petri Nets.

Erwin M. Thurner Proving System Properties by Means of Trigger-Graph and Petri Nets. 88-102 1995 conf/eurocast/1995 EUROCAST db/conf/eurocast/eurocast1995.html#Thurner95 http://dx.doi.org/10.1007/BFb0034752