scientific article; zbMATH DE number 1337886

MaRDI QIDQ4264232zbMATH OpenFDO

Authors Ludwik Czaja

Publication date 16 September 1999

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)

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; zbMATH DE number 4108157
• Expressiveness of process algebras
• scientific article; zbMATH DE number 3943004
• A unified model for nets and process algebras
• scientific article; zbMATH DE number 4191145

Cited in

(5)

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

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)