6533b831fe1ef96bd129997b

RESEARCH PRODUCT

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

subject

description

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.