Publication Details

Categorical approach to Petri nets transformations

ČEŠKA Milan and URBÁŠEK Milan. Categorical approach to Petri nets transformations. In: Proceedings of the 33rd Spring International Conference MOSIS'99. Rožnov pod Radhoštěm, CZ, 1999, pp. 133-140. ISBN 80-85988-32-1.
Type
conference paper
Language
english
Authors
Češka Milan, Prof. RNDr., CSc. (DCSE FEECS BUT)
Urbášek Milan, Ing. (DCSE FEECS BUT)
URL
Keywords

Categories, Petri nets transformations, transition systems, functors

Abstract

The aim of this paper is to introduce the idea of comprehension of Petri nets and another related state-oriented models using the categorical approach to link the different models together.

Annotation

The aim of this paper is to introduce the idea of comprehension of Petri nets and another related state-oriented models using the categorical approach to link the different models together. This idea is based on the description of state-based models as categories with behaviour-preserved morphisms as arrows in the categories. Associating the models allows one to find the similarities of models and use the existing analysis methods involving in other theories for investigating properties of Petri nets.

Published
1999
Pages
133-140
Proceedings
Proceedings of the 33rd Spring International Conference MOSIS'99
Conference
33rd Spring International Conference Modelling and Simulation of Systems MOSIS'99, Rožnov pod Radhoštěm, CZ
ISBN
80-85988-32-1
Place
Rožnov pod Radhoštěm, CZ, CZ
BibTeX
@INPROCEEDINGS{FITPUB6530,
   author = "Milan \v{C}e\v{s}ka and Milan Urb\'{a}\v{s}ek",
   title = "Categorical approach to Petri nets transformations",
   pages = "133--140",
   booktitle = "Proceedings of the 33rd Spring International Conference MOSIS'99",
   year = 1999,
   location = "Ro\v{z}nov pod Radho\v{s}t\v{e}m, CZ, CZ",
   ISBN = "80-85988-32-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6530"
}
Back to top