Top

Published in:

2017 | OriginalPaper | Chapter

Multiplicative Transition Systems

Author : Józef Winkowski

Published in: Transactions on Petri Nets and Other Models of Concurrency XII

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

The paper is concerned with algebras whose elements can be used to represent runs of a system. These algebras, called multiplicative transition systems, are partial categories with respect to a partial binary operation called multiplication. They can be characterized by axioms such that their elements and operations can be represented by partially ordered multisets of a certain type and operations on such multisets. The representation can be obtained without assuming a discrete nature of represented elements. In particular, it remains valid for systems with elements which can represent continuous and partially continuous runs.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Decomposed Replay Using Hiding and Reduction as Abstraction

Badouel, E., Darondeau, P.: Trace nets and process automata. Acta Inform. 32, 647–679 (1995)MathSciNetCrossRefMATH

Ehrenfeucht, A., Rozenberg, G.: Partial 2-structures. Acta Inform. 27, 315–368 (1990)MathSciNetCrossRefMATH

Ehrig, H., Kreowski, H.-J.: Parallelism of manipulations in multidimensional information structures. In: Mazurkiewicz, A. (ed.) MFCS 1976. LNCS, vol. 45, pp. 284–293. Springer, Heidelberg (1976). doi:10.1007/3-540-07854-1_188 CrossRef

Lynch, N., Segala, R., Vaandrager, F.: Hybrid i/o automata. Inf. Comput. 185(1), 105–157 (2003)MathSciNetCrossRefMATH

Mazurkiewicz, A.: Basic notions of trace theory. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1988. LNCS, vol. 354, pp. 285–363. Springer, Heidelberg (1989). doi:10.1007/BFb0013025 CrossRef

Mac Lane, S.: Categories for the Working Mathematician. Springer, New York (1971). doi:10.1007/978-1-4757-4721-8 CrossRefMATH

Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Elementary transition systems. Theor. Comput. Sci. 96, 3–33 (1992)MathSciNetCrossRefMATH

Petri, C.A.: Introduction to general net theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol. 84, pp. 1–19. Springer, Heidelberg (1980). doi:10.1007/3-540-10001-6_21 CrossRef

Rozenberg, G., Thiagarajan, P.S.: Petri nets: basic notions, structure, behaviour. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Current Trends in Concurrency. LNCS, vol. 224, pp. 585–668. Springer, Heidelberg (1986). doi:10.1007/BFb0027048 CrossRef

10.

Winkowski, J.: An algebraic characterization of independence of petri net processes. Inf. Process. Lett. 88, 73–81 (2003)MathSciNetCrossRefMATH

11.

Winkowski, J.: An algebraic framework for defining behaviours of concurrent systems. Part 1: the constructive presentation. Fundamenta Informaticae 97, 235–273 (2009)MathSciNetMATH

12.

Winkowski, J.: An algebraic framework for defining behaviours of concurrent systems. Part 2: the axiomatic presentation. Fundamenta Informaticae 97, 439–470 (2009)MathSciNetMATH

13.

Winkowski, J.: Multiplicative transition systems. Fundamenta Informaticae 109(2), 201–222 (2011). http://www.ipipan.waw.pl/~wink/winkowski.htm

14.

Winkowski, J.: An Algebraic Framework for Concurrent Systems. Monograph 2 in Monograph Series. Institute of Computer Science of the Polish Academy of Sciences, Warsaw (2014)

15.

Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 4, pp. 1–148 (1995)

16.

Zorn, M.: A remark on method in transfinite algebra. Bull. Am. Math. Soc. 41, 667–670 (1935)MathSciNetCrossRefMATH

Title: Multiplicative Transition Systems
Author: Józef Winkowski
Publisher: Springer Berlin Heidelberg
Book: Transactions on Petri Nets and Other Models of Concurrency XII
Print ISBN: 978-3-662-55861-4

Electronic ISBN: 978-3-662-55862-1

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-662-55862-1_9

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner