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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.