related documents A Compositional Model of Time Petri Nets Conferences Modelling and verification of an atomic action protocol implemented in Ada Conferences Process Semantics of P/T-Nets with Inhibitor Arcs Conferences
