[1]
S. Anwar and C. Baral, “Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics”, AAAI, vol. 28, no. 1, Jun. 2014.