Conference paper

ČEŠKA Milan and URBÁŠEK Milan. Categorical approach to Petri nets transformations. In: Proceedings of the 33rd Spring International Conference MOSIS'99. Rožnov pod Radhoštěm, CZ, 1999, pp. 133-140. ISBN 80-85988-32-1.
Publication language:english
Original title:Categorical approach to Petri nets transformations
Pages:133-140
Proceedings:Proceedings of the 33rd Spring International Conference MOSIS'99
Conference:33rd Spring International Conference Modelling and Simulation of Systems MOSIS'99
Place:Rožnov pod Radhoštěm, CZ, CZ
Year:1999
ISBN:80-85988-32-1
URL:http://www.fit.vutbr.cz/~urbasek/Publikace/mosis99.ps.gz [PS]
Keywords
Categories, Petri nets transformations, transition systems, functors
Annotation
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.
Abstract
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. This idea is based on the description of state-based models as categories with behaviour-preserved morphisms as arrows in the categories. Associating the models allows one to find the similarities of models and use the existing analysis methods involving in other theories for investigating properties of Petri nets.
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Milan Urb{\'{a}}{\v{s}}ek},
   title = {Categorical approach to Petri nets transformations},
   pages = {133--140},
   booktitle = {Proceedings of the 33rd Spring International Conference
	MOSIS'99},
   year = {1999},
   location = {Ro{\v{z}}nov pod Radho{\v{s}}t{\v{e}}m, CZ, CZ},
   ISBN = {80-85988-32-1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6530}
}

Your IPv4 address: 54.81.108.205
Switch to IPv6 connection

DNSSEC [dnssec]