On the Analysis of Petri Nets and their Synthesis from Process Languages

DOI10.1051/ita:2003006zbMath1090.68072OpenAlexW2140538488MaRDI QIDQ4462676

Ludwik Czaja

Publication date: 18 May 2004

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2003__37_1_17_0

zbMATH Keywords

Petri netprocess languageanalysis and synthesis of nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• RelView

Cites Work

• Sequential and concurrent behaviour in Petri net theory
• Behaviours of concurrent systems
• Process languages and nets
• The non-sequential behaviour of Petri nets
• On the semantics of place/transition Petri nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Analysis of Petri Nets and their Synthesis from Process Languages