Publication Details

Categories in Modelling

URBÁŠEK Milan. Categories in Modelling. In: Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000. Rožnov pod Radhoštěm, 2000, pp. 21-28. ISBN 80-85988-44-5.
Type
conference paper
Language
english
Authors
Urbášek Milan, Ing. (DCSE FEECS BUT)
URL
Keywords

Category theory, modelling, simulation language, bisimulation, Petri nets.

Abstract

The aim of this paper is to discuss possible use of category theory as a helpful formalism for certain problems involved in the area of modelling and simulation e.g categories of modelling languages and Petri nets.

Annotation

The aim of this paper is to discuss possible use of category theory as a helpful formalism for certain problems involved in the area of modelling and simulation. The paper discusses general notions of category theory and shows examples of categories that can be found in the context of modelling, especially categories of models of programming languages and simulation categories of state-oriented models.

Published
2000
Pages
21-28
Proceedings
Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000
Conference
34th Spring International Conference on Modeling and Simulation of Systems MOSIS 2000, Rožnov pod Radhoštěm, CZ
ISBN
80-85988-44-5
Place
Rožnov pod Radhoštěm, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6538,
   author = "Milan Urb\'{a}\v{s}ek",
   title = "Categories in Modelling",
   pages = "21--28",
   booktitle = "Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000",
   year = 2000,
   location = "Ro\v{z}nov pod Radho\v{s}t\v{e}m, CZ",
   ISBN = "80-85988-44-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6538"
}
Back to top