Abstract
Concurrency can be studied at different yet consistent levels of abstraction: from individual behavioural observations, to more abstract concurrent histories which can be represented by causality structures capturing intrinsic, invariant dependencies between executed actions, to system level devices such as Petri nets or process algebra expressions. Histories can then be understood as sets of closely related observations (here step sequences of executed actions). Depending on the nature of the observed relationships between executed actions involved in a single concurrent history, one may identify different concurrency paradigms underpinned by different kinds of causality structures (e.g., the true concurrency paradigm is underpinned by causal partial orders with each history comprising all step sequences consistent with some causal partial order). For some paradigms there exist closely matching system models such as elementary net systems (en-systems) for the true concurrency paradigm, or elementary net systems with inhibitor arcs (eni-systems) for a paradigm where simultaneity of executed actions does not imply their unorderedness.
In this paper, we develop a system model fitting the least restrictive concurrency paradigm and its associated causality structures. To this end, we introduce eni-systems with mutex arcs (enim-systems). Each mutex arc relates two transitions which cannot be executed simultaneously, but can be executed in any order. To link enim-systems with causality structures we develop a notion of process following a generic approach (semantical framework) which includes a method to generate causality structures from the new class of processes.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Best, E., Devillers, R.: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science 55, 87–136 (1987)
Billington, J.: Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. In: Part II of [17], pp. 331–385 (1998)
Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M., Yakovlev, A.: Synthesis of Nets with Step Firing Policies. Fundamenta Informaticae 94, 275–303 (2009)
Donatelli, S., Franceschinis, G.: Modelling and Analysis of Distributed Software Using GSPNs. In: Part II of [17], pp. 438–476 (1998)
Esparza, J., Bruns, G.: Trapping Mutual Exclusion in the Box Calculus. Theoretical Computer Science 153, 95–128 (1996)
Gaifman, H., Pratt, V.R.: Partial Order Models of Concurrency and the Computation of Functions. In: LICS, pp. 72–85. IEEE Computer Society, Los Alamitos (1987)
Guo, G., Janicki, R.: Modelling concurrent behaviours by commutativity and weak causality relations. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol. 2422, pp. 178–191. Springer, Heidelberg (2002)
Janicki, R.: Relational Structures Model of Concurrency. Acta Informatica 45, 279–320 (2008)
Janicki, R., Koutny, M.: Structure of Concurrency. Theoretical Computer Science 112, 5–52 (1993)
Janicki, R., Koutny, M.: Semantics of Inhibitor Nets. Information and Computation 123, 1–16 (1995)
Janicki, R., Koutny, M.: Order Structures and Generalisations of Szpilrajn’s Theorem. Acta Informatica 34, 367–388 (1997)
Janicki, R., Koutny, M., Kleijn, J.: Quotient Monoids and Concurrent Behaviours. In: Martín-Vide, C. (ed.) Scientific Applications of Language Methods. Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory, vol. 2. World Scientific, Singapore (2010)
Juhás, G., Lorenz, R., Mauser, S.: Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. Fundamenta Informaticae 86, 255–298 (2008)
Kleijn, H.C.M., Koutny, M.: Process Semantics of General Inhibitor Nets. Information and Computation 190, 18–69 (2004)
Kleijn, J., Koutny, M., Rozenberg, G.: Petri Net Semantics for Membrane Systems. Journal of Automata, Languages, and Combinatorics 11, 321–340 (2006)
Lengauer, C., Hehner, E.C.R.: A Methodology for Programming with Concurrency: An Informal Presentation. Science of Computer Programming 2, 1–18 (1982)
Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491 & 1492. Springer, Heidelberg (1998)
Rozenberg, G., Engelfriet, J.: Elementary Net Systems. In: Part I of [17], pp. 12–121 (1998)
Szpilrajn, E.: Sur l’extension de l’ordre partiel. Fundamenta Mathematicae 16, 386–389 (1930)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kleijn, J., Koutny, M. (2011). The Mutex Paradigm of Concurrency. In: Kristensen, L.M., Petrucci, L. (eds) Applications and Theory of Petri Nets. PETRI NETS 2011. Lecture Notes in Computer Science, vol 6709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21834-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-21834-7_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21833-0
Online ISBN: 978-3-642-21834-7
eBook Packages: Computer ScienceComputer Science (R0)