scientific article; zbMATH DE number 1337886

zbMATH Open0930.68094MaRDI QIDQ4264232FDOQ4264232

Authors: Ludwik Czaja 

Publication date: 16 September 1999

Title of this publication is not available (Why is that?)

Recommendations

• Process languages and nets
• On process languages in finite graphs
• The denotational semantics of dynamic networks of processes
• On expressiveness of a language for describing definitions and process realizations
• scientific article; zbMATH DE number 782044
• scientific article
• Expressiveness of process algebras
• scientific article; zbMATH DE number 3943004
• A unified model for nets and process algebras
• Publication:3210197

zbMATH Keywords

Petri netprocess language

Mathematics Subject Classification ID

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

Cited In (4)

• \(\omega\)-process languages for place/transition nets.
• Some Remarks on Definability of Process Graphs
• Process languages and nets
• On the Analysis of Petri Nets and their Synthesis from Process Languages

This page was built for publication:

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