Conference paperURBÁŠ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. | Publication language: | english |
---|
Original title: | Categories in Modelling |
---|
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 |
---|
Place: | Rožnov pod Radhoštěm, CZ |
---|
Year: | 2000 |
---|
ISBN: | 80-85988-44-5 |
---|
URL: | http://www.fit.vutbr.cz/~urbasek/Publikace/mosis2000.ps.gz [PS] |
---|
Keywords |
---|
Category theory, modelling, simulation language, bisimulation, 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 e.g categories of modelling languages and 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. 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. |
BibTeX: |
---|
@INPROCEEDINGS{
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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=6538}
} |
|