Timing-dependent boundedness and liveness in continuous Petri nets


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


  • Presentations referencing similar topics