(1)
Anwar, S.; Baral, C. Pathway Specification and Comparative Queries: A High Level Language With Petri Net Semantics. AAAI 2014, 28.