For the most recent entries see the Petri Nets Newsletter.

Representation and Verification by Petri Nets and Related System Models.

Fidelak, M.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography