Characterization of timed well-formed Petri nets behavior by means of occurrence equations

Giovanni Chiola. Characterization of timed well-formed Petri nets behavior by means of occurrence equations. In Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995. pages 127-136, IEEE, 1995. [doi]

@inproceedings{Chiola95,
  title = {Characterization of timed well-formed Petri nets behavior by means of occurrence equations},
  author = {Giovanni Chiola},
  year = {1995},
  doi = {10.1109/PNPM.1995.524323},
  url = {http://dx.doi.org/10.1109/PNPM.1995.524323},
  researchr = {https://researchr.org/publication/Chiola95},
  cites = {0},
  citedby = {0},
  pages = {127-136},
  booktitle = {Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995},
  publisher = {IEEE},
  isbn = {0-8186-7210-2},
}