article

Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes

Author:

Józef WinkowskiAuthors Info & Claims

Fundamenta Informaticae, Volume 68, Issue 1-2

Pages 175 - 206

Published: 01 January 2005 Publication History

Abstract

The paper is concerned with modelling distributed systems by specifying their states and processes. Processes are defined as activities in a universe of objects, each object with a set of possible internal states, each activity changing states of some objects and establishing or destroying relations among objects. Partial operations of composing processes sequenially and in parallel are defined. It is shown that certain sets of processes form together with these operations categories with additional structures and special properties, that processes of a system can be represented as morphisms of such categories, and that independence of processes can be characterized in a natural, purely algebraic way.

References

[1]

Baldan, P., Bruni, R., Montanari, U., Pre-nets, read arcs and unfolding: a functorial presentation, Proceedings of WADT'02, Wirsing, M., Pattison, D., Hennicker, R., (Eds.), Springer LNCS 2755 (2002) 145-164.

[2]

Bednarczyk, M. A., Categories of Asynchronous Systems, PhD thesis in Computer Science, University of Sussex, Report no. 1/88 (1988).

[3]

Best, E., Devillers, R., Sequential and Concurrent Behaviour in Petri Net Theory, Theoret. Comput. Sci. 55 (1987) 87-136.

Digital Library

[4]

Bourbaki, N., Éléments de mathématique, Livre I (Théorie des ensembles), Chapitre 4 (Structures), Act. Sci. Ind. 1258, Hermann, Paris, 1957.

[5]

Bucur, I., Deleanu, A., Introduction to the Theory of Categories and Functors, John Wiley and Sons Ltd., Lozanna, New York, Sydney, 1968.

[6]

Carnap, R., Introduction to Symbolic Logic and Its Applications, Chapter G: ASs of physics, Dover Publications, Inc., New York, 1958.

[7]

Corradini, A., Montanari, U., Rossi, F., Graph Processes, Fundamenta informaticae 26 (1996), 241-265.

[8]

Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, in Proc. of 4th LICS Symposium, IEEE (1989) 175-185.

Digital Library

[9]

Ehrig, H., Kreowski, H. -J., Parallelism of Manipulations in Multidimensional Information Structures, in A. Mazurkiewicz (Ed.): Proc. of MFCS'76, Springer LNCS 45 (1976) 284-293.

[10]

Engelfriet, J., Branching Processes of Petri Nets, Acta Informatica 28 (1991) 575-591.

Digital Library

[11]

Glabbeek, R., J., van, Plotkin, G., D., Configuration Structures, Proceedings of LICS'95, Kozen, D., (Ed.), IEEE Computer Society Press (1995) 199-209.

[12]

Hoogeboom, H. J., Rozenberg, G., Diamond Properties of Elementary Net Systems, Fundamenta Informaticae 14 (1991) 287-300.

[13]

Mazurkiewicz, A., Basic Notions of Trace Theory, in J.W. de Bakker, W. P. de Roever and G. Rozenberg (Eds.): Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Springer LNCS 354 (1988) 285-363.

[14]

Meseguer, J., Montanari, U., Sassone, V., Process versus Unfolding semantics for Place/Transition Nets, Theoret. Comput. Sci. 153, n. 1-2 (1996) 171-210.

Digital Library

[15]

Montanari, U., Rossi, F., Contextual Nets, Acta Informatica 32 (1995) 545-596.

Digital Library

[16]

Petri, C., A., Non-Sequential Processes, Interner Bericht ISF-77-5, Gesellschaft fuer Mathematik und Datenverarbeitung, 5205 St. Augustin, Germany (1977).

[17]

Rozenberg, G., Thiagarajan, P. S., Petri Nets: Basic Notions, Structure, Behaviour, in J. W. de Bakker, W. P. de Roever and G. Rozenberg (Eds.): Current Trends in Concurrency, Springer LNCS 224 (1986) 585-668.

Digital Library

[18]

Shields, E. W., Concurrent Machines, Computer Journal, vol. 28 (1985) 449-465.

[19]

Winkowski, J., Behaviours of Concurrent Systems, Theoret. Comput. Sci. 12 (1980) 39-60.

[20]

Winkowski, J., An Algebraic Description of System Behaviours, Theoret. Comput. Sci. 21 (1982) 315-340.

[21]

Winkowski, J., An Algebraic Characterization of Independence of Petri Net Processes, Information Processing Letters 88 (2003), 73-81.

Digital Library

[22]

Winskel, G., Nielsen, M., Models for Concurrency, in S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum (Eds.): Handbook of Logic in Computer Science 4 (1995), 1-148.

Digital Library

Cited By

Winkowski J(2019)An Axiomatic Characterization of Algebras of Processes of Petri NetsFundamenta Informaticae10.5555/2369376.236940672:1-3(407-420)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/2369376.2369406
Winkowski J(2019)Towards a Framework for Modelling Behaviours of Hybrid SystemsFundamenta Informaticae10.5555/2367430.236744780:1-3(311-332)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/2367430.2367447
Winkowski J(2019)An Algebraic Framework for Defining Random Concurrent BehavioursFundamenta Informaticae10.5555/2365896.236592785:1-4(481-496)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/2365896.2365927
Show More Cited By

Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
1. Theory of computation
  1. Formal languages and automata theory
    1. Formalisms

Recommendations

Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes

The paper is concerned with modelling distributed systems by specifying their states and processes. Processes are defined as activities in a universe of objects, each object with a set of possible internal states, each activity changing states of some ...
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation

The paper is the second part of two-part paper that contributeswith a concept of a process, with operations allowing to define complex processes in terms of their components, with the respective algebras, and with the idea of using the formal tools thus ...
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation

The paper is the second part of two-part paper that contributeswith a concept of a process, with operations allowing to define complex processes in terms of their components, with the respective algebras, and with the idea of using the formal tools thus ...

Comments

Information & Contributors

Information

Published In

cover image Fundamenta Informaticae

Fundamenta Informaticae Volume 68, Issue 1-2

January 2005

205 pages

ISSN:0169-2968

Issue’s Table of Contents

Publisher

IOS Press

Netherlands

Publication History

Published: 01 January 2005

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Winkowski J(2019)An Axiomatic Characterization of Algebras of Processes of Petri NetsFundamenta Informaticae10.5555/2369376.236940672:1-3(407-420)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/2369376.2369406
Winkowski J(2019)Towards a Framework for Modelling Behaviours of Hybrid SystemsFundamenta Informaticae10.5555/2367430.236744780:1-3(311-332)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/2367430.2367447
Winkowski J(2019)An Algebraic Framework for Defining Random Concurrent BehavioursFundamenta Informaticae10.5555/2365896.236592785:1-4(481-496)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/2365896.2365927
Winkowski J(2019)An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic PresentationFundamenta Informaticae10.5555/2365216.236522197:4(439-470)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/2365216.2365221
Winkowski J(2019)An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive PresentationFundamenta Informaticae10.5555/2365176.236518597:1-2(235-273)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/2365176.2365185
Winkowski J(2019)An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic PresentationFundamenta Informaticae10.5555/1737924.173792997:4(439-470)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/1737924.1737929
Winkowski J(2019)An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive PresentationFundamenta Informaticae10.5555/1735979.173598997:1-2(235-273)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/1735979.1735989
Winkowski J(2019)An Algebraic Framework for Defining Random Concurrent BehavioursFundamenta Informaticae10.5555/1516165.151619885:1-4(481-496)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/1516165.1516198
Winkowski J(2019)Towards a Framework for Modelling Behaviours of Hybrid SystemsFundamenta Informaticae10.5555/1366708.136672580:1-3(311-332)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/1366708.1366725
Winkowski J(2019)An Axiomatic Characterization of Algebras of Processes of Petri NetsFundamenta Informaticae10.5555/1231121.123115172:1-3(407-420)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.5555/1231121.1231151
Show More Cited By

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents