Publication Details

Categorical approach to Petri nets transformations

URBÁŠEK, M.; ČEŠKA, M. Categorical approach to Petri nets transformations. Proceedings of the 33rd Spring International Conference MOSIS'99. Rožnov pod Radhoštěm, CZ: 1999. p. 133-140. ISBN: 80-85988-32-1.
Type
conference paper
Language
English
Authors
Urbášek Milan, Ing.
Češka Milan, prof. RNDr., CSc.
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
ISBN
80-85988-32-1
Place
Rožnov pod Radhoštěm, CZ
BibTeX 
@inproceedings{BUT191506,
  author="Milan {Urbášek} and Milan {Češka}",
  title="Categorical approach to Petri nets transformations",
  booktitle="Proceedings of the 33rd Spring International Conference MOSIS'99",
  year="1999",
  pages="133--140",
  address="Rožnov pod Radhoštěm, CZ",
  isbn="80-85988-32-1",
  url="http://www.fit.vutbr.cz/~urbasek/Publikace/mosis99.ps.gz"
}
Back to top