Conference paper

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.
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}
}

Your IPv4 address: 54.82.93.116
Switch to IPv6 connection

DNSSEC [dnssec]