On nets, algebras and modularity

Alexander Rabinovich, Boris A. Trakhtenbrot

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

8 Scopus citations

Abstract

We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major goat is to achieve a better understanding of the links between modularity issues for nets and laws (or anomalies) in algebras of processes and algebras of relations. To this end we develop Mazurkiewicz’s compositional approach which requires a careful analysis of homomorphisms from algebras of nets into algebras of processes and relations.

Original languageEnglish
Title of host publicationTheoretical Aspects of Computer Software - International Conference TACS 1991, Proceedings
EditorsAlbert R. Meyer, Takayasu Ito
PublisherSpringer Verlag
Pages176-203
Number of pages28
ISBN (Print)9783540544159
DOIs
StatePublished - 1991
Externally publishedYes
Event1st International Conference on Theoretical Aspects of Computer Software, TACS 1991 - Sendai, Japan
Duration: 24 Sep 199127 Sep 1991

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume526 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference1st International Conference on Theoretical Aspects of Computer Software, TACS 1991
Country/TerritoryJapan
CitySendai
Period24/09/9127/09/91

Funding

FundersFunder number
National Science Foundation9002826-CCR

    Fingerprint

    Dive into the research topics of 'On nets, algebras and modularity'. Together they form a unique fingerprint.

    Cite this