related documents Non-atomic Transition Firing in Contextual Nets Conferences On Interval Process Semantics of Petri Nets with Inhibitor Arcs Conferences