Net-based control versus rational control: The relation between ITNC vector languages and rational relations

DOI10.1007/s002360050072zbMath0865.68082OpenAlexW1994494985MaRDI QIDQ1901720

N. W. Keesmaat, H. C. M. Kleijn

Publication date: 15 November 1995

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050072

zbMATH Keywords

concurrent systemscompletenesssynchronizationvector languagesrational relationsIndividual Token Net Controllerstate-machine decomposable Petri net

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Restrictions and representations of vector controlled concurrent system behaviours

This page was built for publication: Net-based control versus rational control: The relation between ITNC vector languages and rational relations