Processes in Cause-Effect Systems

Article type: Research Article

Authors: Maggiolo-Schettini, Andrea | Matteucci, Gionata

Affiliations: Dipartimento di Informatica, Università di Pisa, Pisa, Italy. maggiolo, matteucc@di.unipi.it

Note: [] Now at: CSELT - Centro Studi e Laboratori Telecomunicazioni, via Reiss Romoli 274, 10100 Torino, e-mail: gionata.matteucci@cselt.it

Abstract: Cause-Effect (C-E) structures have been proposed as a formalism to describe concurrent and distributed systems. On C-E structures two operations, multiplication and addition, are defined, which allow easy combination and modular development of descriptions. In this paper a concept of process of a C-E structure with an initial state (C-E system) is defined similarly to that of a process of a Condition/Event net in Petri net theory, and operations on processes are studied which correspond to operations on C-E systems.

Keywords: Cause-Effect systems, Processes, Process combination

DOI: 10.3233/FI-1997-313406

Journal: Fundamenta Informaticae, vol. 31, no. 3-4, pp. 305-335, 1997