Petri Nets as Semantic Domain for Diagram Notations

Abstract

This paper summarizes the work carried out by the authors during the last years. It proposes an approach for defining extensible and flexible formal interpreters for diagram notations based on high-level timed Petri nets. The approach defines interpreters by means of two sets of rules. The first set specifies the correspondences between the elements of the diagram notation and those of the semantic domain (Petri nets); the second set transforms events and states of the semantic domain into visual annotations on the elements of the diagram notation. The feasibility of the approach is demonstrated through MetaEnv, a prototype tool that allows users to implement special-purpose interpreters.

Improving Relationship between UML and Petri Nets for Analyzing System by Applying Object Oriented Petri Nets

“…UML is a non-proprietary modeling and design tool that offers an Object-Oriented modeling framework. In automation, methodological aspects of UML have been used within several applications for modeling as well as they have been used for simulation and implementation purposes: modeling and implementation of object relational databases for the traceability in batch process [15]; specification and validation of scheduling policies in agile production systems [16]; modeling and implementing production control systems [19]; designing and implementing simple network management protocol agents for remote control [21]; modeling and optimizing DCSs based on the industrial bus CAN [20]; modeling and validation of mechatronics systems [17]. The Object-Oriented approach is usually considered a basic principle for many modeling and also analysis and design methodologies in various engineering areas, and UML is considered a "drastic way to revolutionize and improve the deficiency of software development process", allowing its easy modification, extension and maintenance [18].…”

Rethinking the Project Management Process by Using Unified Modeling Language

“…They simulate a gas station problem using this model. Although the problem studied is not a project, the major contribution of their study is successful combination of UML and Petri nets (Baresi & Pezze, 2001). Thus, although previous works combine UML and PERT, we argue that UML diagrams can completely replace the PERT or other project management charts.…”

“…They also summarize elements of workflow to facilitate the adoption and use of their approach for the automation of business processes. In addition, Baresi and Pezze (2001) integrate the UML dynamic models with high-level timed Petri nets (HLTPN) to obtain a flexible and customizable means to reason the dynamic aspects of objectoriented models. They simulate a gas station problem using this model.…”

“…Moreover, the consideration of a project as an object can help develop PMIS and model the project processes using the advantages of object-orientation such as encapsulation, inheritance, and polymorphism. Though many studies propose transformation rules to integrate UML with other methods, only few consider project items as objects, and model project processes by using UML (Baresi & Pezze, 2001;Gelbarda et al, 2002;Kamandi, Azgomi, & Movaghar, 2006;Katayama, 2005;Strembeck & Mendling, 2011). Therefore, in this paper, we recommend transformation rules from project items into objects and project charts into UML diagrams, to model all project items and processes by using UML.…”

Preface

“…There graph transformations are either used directly or in terms of net transformations, based on high-level replacement systems. The extension of Petri nets by notions from the area of graph transformations are investigated in [2] The use of Petri Nets as semantic domain is the topic of [5] and a congruene property for Petri Nets motivated by process algebras is discussed in [13].…”