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

Published in: Formal Systems Specification (1994)

Keyphrases

petri net
high level petri nets
memory requirements
high level
formal specification
computing power
limited memory
low memory
recent advances
metadata
associative memory
computational power