Categorical Modeling Method, Proof of Concept for the Petri Net Language

Daniel-Cristian Crăciunean

2019

Abstract

Modeling increases the importance of processes significantly, but also imposes higher requirements for the accuracy of process specifications, since an error in the design of a process may only be discovered after it already produces large cumulative losses. We believe that modeling tools can help build better models in a shorter time. This inevitably results in the need to build formal models that can be theoretically verified. A category as well as a model is a mixture of graphical information and algebraic operations. Therefore, category language seems to be the most general to describe the models. The category theory offers an integrated vision of the concepts of a model, and also provides mechanisms to combine models, mechanisms to migrate between models, and mechanisms to build bridges between models. So, category theory simplifies how we think and use models. In this paper we will use the language offered by the category theory to formalize the concept of Modeling Method with the demonstration of the Categorical Modeling Method concept for the Petri Net grammar.

Paper Citation

in Harvard Style

Crăciunean D. (2019). Categorical Modeling Method, Proof of Concept for the Petri Net Language.In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-358-2, pages 283-291. DOI: 10.5220/0007360602830291

in Bibtex Style

@conference{modelsward19,
author={Daniel-Cristian Crăciunean},
title={Categorical Modeling Method, Proof of Concept for the Petri Net Language},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2019},
pages={283-291},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007360602830291},
isbn={978-989-758-358-2},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Categorical Modeling Method, Proof of Concept for the Petri Net Language
SN - 978-989-758-358-2
AU - Crăciunean D.
PY - 2019
SP - 283
EP - 291
DO - 10.5220/0007360602830291