Comparative trace semantics of time Petri nets


In the paper, a family of trace equivalencies in the interleaving, step, partial order, and nondeterministic semantics is defined and studied in the context of time Petri nets. The equivalences studied are based both on the classical concept of transition firing sequences and on time processes, i.e., time extensions of net processes with global transition… (More)
DOI: 10.1134/S0361768815030020

4 Figures and Tables


  • Presentations referencing similar topics