Detail publikace

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Urbášek Milan, Ing.
Češka Milan, prof. RNDr., CSc.
URL
Klíčová slova

Categories, Petri nets transformations, transition systems, functors

Abstrakt

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.

Rok
1999
Strany
133–140
Sborník
Proceedings of the 33rd Spring International Conference MOSIS'99
ISBN
80-85988-32-1
Místo
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"
}
Nahoru