In: Proc. of the 2nd International Symposium on Artificial Intelligence and Expert Systems, Vol. 1., pages 69-197. AMK Berlin, West Germany, 1988.
Abstract: Diagrams and tables are given to illustrate low- and high-level Petri nets, extended nets and similar models, and the application of nets to software development, systems analysis and knowledge representation and verification.