TiPNet: a graphical tool for timed Petri nets

Baopu Liu, A. Robbi. TiPNet: a graphical tool for timed Petri nets. In Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995. pages 212-213, IEEE, 1995. [doi]

Abstract

Abstract is missing.