Nadia Busi: Petri nets with inhibitor and read arcs - semantics,
analysis and appliction to process calculi.
Tesi di dottorato, Univ. Siena, 1998.

19737 Nadia Busi: Analysis issues in Petri nets with inhibitor arcs.
Theor. Comp. Sci. 275 (2002), 127-177.