A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)<sup>2</sup>.

Eike Best Hans Fleischhack Wojciech Fraczak Richard P. Hopkins Hanna Klaudel Elisabeth Pelz A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)<sup>2</sup>. 103-120 1995 conf/apn/1995 Application and Theory of Petri Nets db/conf/apn/apn95.html#BestFFHKP95 http://dx.doi.org/10.1007/3-540-60029-9_36