\(\omega\)-process languages for place/transition nets.

zbMATH Open1050.68105MaRDI QIDQ2775859

Ludwik Czaja, Manfred Kudlek

Publication date: 2001

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

Petri netsiteration lemmata

Mathematics Subject Classification ID

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

Related Items (1)

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

This page was built for publication: \(\omega\)-process languages for place/transition nets.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2775859)