ON A NOTION OF CONCURRENCE

Article type: Research Article

Authors: Korczyńsky, Waldemar

Affiliations: Institute of Mathematics. Pedagogical University Kielce. ul.Konopnickiej 21. PL-25406 Kielce. Poland

Abstract: In the paper Gaussian monoids with zero as a basis for modeling of concurrence and a kind of consistence are proposed and a notion of concurrent system is defined. The main idea is to replace the binary relation of concurrence defined on a set of activities (transitions in Petri nets, events etc.) by a more general notion of independence of multisets.

Keywords: Concurrence, Petri nets, monoids, ideals, category, processes

DOI: 10.3233/FI-1996-25107

Journal: Fundamenta Informaticae, vol. 25, no. 1, pp. 79-98, 1996