A Correction of the Proof of the Characterization Theorem for Free Terminal Petri Net Languages.

For the most recent entries see the Petri Nets Newsletter.

A Correction of the Proof of the Characterization Theorem for Free Terminal Petri Net Languages.

In: Newsletter No. 13, pages 11-12. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, February 1983.

Keywords: free terminal net language, (characterization theorem correction).

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

Back to the Petri Nets Bibliography