Process languages and nets

DOI10.1016/S0304-3975(98)00124-8zbMath0944.68093OpenAlexW2090458495MaRDI QIDQ1575245

Ludwik Czaja

Publication date: 21 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(98)00124-8

zbMATH Keywords

analysis and synthesisconcurrencyprocesselementary netprocess language

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (1)

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

Cites Work

• On the border of causality: contact and confusion
• Cause-effect structures
• Propositional description of finite cause-effect structures
• An algebraic description of system behaviours
• Remarks on the equivalence of c-e structures and Petri nets
• Algebra of two-level cause-effect structures
• Causal semantics for Petri nets with contacts
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Process languages and nets