A Notion of Safeness in Time for Petri Nets

@inproceedings{SchmidtDepartment1996ANO,
  title={A Notion of Safeness in Time for Petri Nets},
  author={Heinz W. SchmidtDepartment and Caul eld EastAustralia},
  year={1996}
}
  • Heinz W. SchmidtDepartment, Caul eld EastAustralia
  • Published 1996
The Petri net theory has been used to model many types of systems and many net analysis methods have been devised to study their behavioural properties. Safeness or boundedness is one such property, which, in its usual sense, sets a bound on the maximum number of tokens that can be assembled in a place. In a type of standard Petri nets with simple tokens… CONTINUE READING