ON A NOTION OF CONCURRENCE

Authors:
Waldemar Korczyńsky
Affiliations:
Institute of Mathematics. Pedagogical University Kielce. ul.Konopnickiej 21. PL-25406 Kielce. Poland
Venue:
Fundamenta Informaticae
Year:
1996

Citing 3
Cited 0

Petri nets are moniods

Information and Computation
Elementary transition systems and refinement

Acta Informatica
A New Definition of Morphism on Petri Nets

STACS '84 Proceedings of the Symposium of Theoretical Aspects of Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.