Abstract:As a powerful and object-oriented graphical modeling language, Unified Modeling Language (UML) has been introduced into the design and development of safety-critical computer systems. However, UML model is difficult to reflect the concurrency and consistency of constraint rules between objects and impossible to completely demonstrate the dynamic behavior characteristics of a system. Further, it cannot be directly expressed and analyzed by mathematical tools. Petri net modeling technology uses graphical element place and transition to clearly describe the internal interactions of a system. Meanwhile, Petri net has mature mathematical analysis methods. We have proposed to combine these two tools for designing and analyzing a system with a set of transformation rules from UML statecharts to Petri net. In this paper, an automatic conversion tool is introduced. The tool performs the transformation with three steps as follows: (1) Transforming UML model into XML document, which makes information extraction of the UML model become easier. (2) Analyzing semantics of UML model and Petri net model, then designing data structure for transformation, and completing the transformation based on the transformation rules. (3) Analyzing the transformed Petri net model to verify the characteristics of the UML model. The transformation rules and the tools are developed based on a new railway interlocking system.

An Extended Flow Petri Net for Embedded Systems and Application

Petri Nets Model of Emergency Control System for Shipping

Application of Petri Net with Objects in Safety System Process Modeling

Modeling UML Sequence Diagrams Using Extended Petri Nets.

Extended Petri net and its application

A class of extended time Petri nets for modeling and simulation of discrete event systems

An extended Petri net and its application

Modeling and Application of Railway Safety System through Object Petri Nets.

Methodology of modeling and formal verification based on extended Petri net

Petri net modeling of information flow in the online train ticket booking system

Using uml and petri nets for the design and verification of a railway interlocking system

Modeling and Verification of Train Safety Comprehensive Monitoring System Using Temporal Petri Nets

Embedded System Modeling based on Dual Transitions Petri Net

Petri Net EPRES for Embedded System Modeling

Automatic transformation from UML statechart to Petri nets for safety analysis and verification

Simulation and Real-Time Control of Fms with A High-Level Petri Net Model

A HIERARCHICAL MODEL OF PETRI NET AND A MODELING TOOL FOR ITS DESIGN

A Workflow Model Based on Extended Data Object Petri Net

The Modeling of Workflow Based on Object Oriented Timed Petri Net

Modeling Activity Diagrams With Extended Petri Nets

Petri net and its application in workflow system modeling and analysis