Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics

Open in new window