For the most recent entries see the Petri Nets Newsletter.

Well-Formed Flow Charts for Concurrent Programming.

Genrich, H.J.; Thiagarajan, P.S.

Gesellschaft für Math. und Datenverarbeitung, ISF-Report 81.03 (2. überarbeitete Auflage), April 1982.

Also in: Björner, D.: Formal Descriptions of Programming Concepts-II, pages 357-380. North-Holland Publ. Company, IFIP, 1983.

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

Back to the Petri Nets Bibliography