scientific article; zbMATH DE number 1337886

zbMATH Open0930.68094MaRDI QIDQ4264232FDOQ4264232

Ludwik Czaja

Publication date: 16 September 1999

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

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

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Expressiveness of process algebras 👍 👎
• Title not available (Why is that?) 👍 👎
• A unified model for nets and process algebras 👍 👎
• Title not available (Why is that?) 👍 👎

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)