James R. Gattiker Representing Structural and Functional Knowledge with Stochastic Petri Nets. 47-53 1995 conf/seke/1995 SEKE db/conf/seke/seke1995.html#Gattiker95