Cause-effect structures. An algebra of nets with examples of applications

DOI10.1007/978-3-030-20461-7zbMath1435.68009OpenAlexW4237635901MaRDI QIDQ2312723

Ludwik Czaja

Publication date: 17 July 2019

Published in: Lecture Notes in Networks and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-20461-7

zbMATH Keywords

Petri netscause-effect structuresalgebra of nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Uses Software

• occam-pi

This page was built for publication: Cause-effect structures. An algebra of nets with examples of applications