Extensions of Elementary Cause-Effect Structures

• Autorzy: Czaja Ludwik

Identyfikatory

DOI

10.3233/FI-2021-2016

• Języki publikacji: EN

Abstrakty

EN

Cause-effect structures are objects of a formal system devised for modeling, testing and verifying properties of tasks, where parallel execution of actions is the most characteristic feature. This is an algebraic system called a quasi-semiring. In this paper elementary cause-effect structures, a system behaviourally equivalent to 1-safe Petri nets, are extended by the following features: weighted edges, multi-valued nodes having capacities (counterpart of place/transition Petri nets), inhibitors and a model of time. The extensions are accomplished by modifying the notion of state and semantics, but leaving unchanged structure of the quasi-semiring expressions.

Słowa kluczowe

EN

Petri nets; semantics

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2021
• Tom: Vol. 179, nr 2
• Strony: 93--111
• Opis fizyczny: Bibliogr. 12 poz., rys.

Twórcy

autor

Czaja Ludwik

• Vistula University, Warsaw, Poland
• Institute of Informatics, The University of Warsaw, Poland

Bibliografia

• [1] Chmielewski R. Symulacja struktur przyczynowo-skutkowych z wykorzystaniem platformy .NET (in Polish), MSc thesis, Warsaw University 2003 (Simulation of Cause-Effect Structures Using the .NET platform).
• [2] Czaja L. Cause-effect structures, Information Processing Letters, 26, Jan.1988. doi:10.1016/0020-0190(88)90189-5.
• [3] Czaja L. Cause-Effect Structures - Structural and Semantic Properties Revisited, Fundamenta Informaticae 33 (1998) pp. 17-42, IOS Press, Amsterdam.
• [4] Czaja L. Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures, Fundamenta Informaticae, vol. 37, n. 4, March 1999, pp. 343-368. doi:10.3233/FI-1999-37402.
• [5] Czaja L. Elementary Cause-Effect Structures, Warsaw University, 2002.
• [6] Holenderski L, Szalas A. Propositional Description of Finite Cause-Effect Structures, Information Proc. Letters 27(3):1988, pp. 111-117 doi:10.1016/0020-0190(88)90064-6.
• [7] Maggiolo-Schettini A, Matteuci G. Processes in Cause/Effect Systems, Fundamenta Informaticae 31(1997) pp. 305-335, IOS Press. doi:10.3233/FI-1997-313406.
• [8] Raczunas M. Remarks on the equivalence of c-e structures and Petri nets, Information Proc. Letters, 45(1993) pp. 165-169. doi:10.1016/0020-0190(93)90114-O.
• [9] Reisig W. Petri Nets. An Introduction, Number 4 in EATCS Monographs on Theoretical Computer Science, Springer, Berlin-Heidelberg-New York, Tokyo, 1985. ISBN-978-3-642-69970-2. doi:10.1007/978-3-642-69968-9.
• [10] Ustimenko AP. Algebra of Two-level Cause-Effect Structures (revised version), Information Processing Letters, 1996. 59(6):325-330. doi:10.1016/0020-0190(96)00128-7.
• [11] Ustimenko AP. Coloured cause-effect structures, Information Processing Letters, 1998. 68(5):219-225. doi:10.1016/S0020-0190(98)00174-4.
• [12] Weiss Z, Grygiel K, Stochastic Cause-Effect Structures: A Simple Model, Proc. of the Workshop “Concurrency, Specification and Programming“, Berlin, Nov.1992.

Uwagi

Opracowanie rekordu ze środków MNiSW, umowa Nr 461252 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2021).