Detail výsledku

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: Marq software s.r.o., 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.
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.

Klíčová slova

Categories, Petri nets transformations,transition systems, functors

URL
Rok
1999
Strany
133–140
Sborník
Proceedings of the 33rd Spring International Conference MOSIS'99
Konference
33rd Spring International Conference Modelling and Simulation of Systems MOSIS'99
ISBN
80-85988-32-1
Vydavatel
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Rožnov pod Radhoštěm, CZ",
  isbn="80-85988-32-1",
  url="http://www.fit.vutbr.cz/~urbasek/Publikace/mosis99.ps.gz"
}
Projekty
Výzkum a aplikace heterogenních modelů, GAČR, Standardní projekty, GA102/98/0552, zahájení: 1998-01-01, ukončení: 2000-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru