On Nets, Algebras and Modularity

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 ofthe 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.

• Type: Conference
• Year: 1991
• Where: TACS
• Authors: Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
• Keywords: Algebras, Modularity Issues, Petri Nets, Software Engineering, TACS 1991