A Memory Module Specification Using Composable High-Level Petri Nets.

Eike Best A Memory Module Specification Using Composable High-Level Petri Nets. 109-159 1994 conf/dagstuhl/1994fss Formal Systems Specification db/conf/dagstuhl/fss1994.html#Best94