Comparative trace semantics of time Petri nets

Abstract

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

Topics

  • Presentations referencing similar topics