TY - GEN
T1 - On nets, algebras and modularity
AU - Rabinovich, Alexander
AU - Trakhtenbrot, Boris A.
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1991.
PY - 1991
Y1 - 1991
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84947711125&partnerID=8YFLogxK
U2 - 10.1007/3-540-54415-1_46
DO - 10.1007/3-540-54415-1_46
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84947711125
SN - 9783540544159
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 176
EP - 203
BT - Theoretical Aspects of Computer Software - International Conference TACS 1991, Proceedings
A2 - Meyer, Albert R.
A2 - Ito, Takayasu
PB - Springer Verlag
T2 - 1st International Conference on Theoretical Aspects of Computer Software, TACS 1991
Y2 - 24 September 1991 through 27 September 1991
ER -