Timing-dependent boundedness and liveness in continuous Petri nets

Abstract

The very classical structural boundedness and repetitiveness properties for discrete and untimed models are reconsidered for timed continuous Petri nets (TCPN), under infinite server semantics. The timing is here involved in the analysis, by taking advantage of its matricial characterization and properties analogous to conservativeness and consistency are… (More)
DOI: 10.3182/20100830-3-DE-4013.00004

Topics

  • Presentations referencing similar topics