Petri net tools

This paper reflects on the application of nets in system description, analysis and design and the role of tools herein.

[1]  Andrew Singer,et al.  Directions in Human Factors for Interactive Systems , 1981, Lecture Notes in Computer Science.

[2]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[3]  Wilfried Brauer,et al.  Net Theory and Applications , 1980, Lecture Notes in Computer Science.

[4]  Kurt Lautenbach,et al.  Elements of General Net Theory , 1979, Advanced Course: Net Theory and Applications.

[5]  Hartmann J. Genrich,et al.  A Diagram Editor for Line Drawings with Inscriptions , 1982, European Workshop on Applications and Theory of Petri Nets.

[6]  Hartmann J. Genrich,et al.  A Dictionary of Some Basic Notions of Net Theory , 1979, Advanced Course: Net Theory and Applications.

[7]  Kurt Jensen,et al.  The design of a program package for an introductory Petri net course , 1984, European Workshop on Applications and Theory in Petri Nets.

[8]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.