Research of System Modeling and Verification Method Combine with UML Formalization Analysis and Colored Petri Net

No abstract is available for this paper.

• Publication year

  2009

• Venue

  2009 Third International Symposium on Intelligent Information Technology Application

• Publication date

  2009-11-21

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/IITA.2009.489
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Modeling and Realization of Train Operation Control Simulation System of Urban Railway Transportation Based on UML

  2007cited by this paper
• Research of Transformation from Communication Diagram to Petri Net

  2007cited by this paper
• Using UML state machines and petri nets for the quantitative investigation of ETCS

  2006cited by this paper
• Researching Colored Petri Nets Model of Communication Based Train Control System

  2005cited by this paper
• Towards quantitative analysis of real-time UML using stochastic Petri nets

  2005cited by this paper
• Derivation of statistical properties for mass transit power supply networks as powerline communication channel

  2005cited by this paper
• Real-Time UML State Machines : An Analysis Approach

  2005cited by this paper
• From UML activity diagrams to Stochastic Petri nets: application to software performance engineering

  2004cited by this paper
• Construction and performance analysis of a Petri net model based on a functional model in a CIM system

  2004cited by this paper
• A train control system case study in model-based real time system design

  2003cited by this paper
• Extension of UML and its conversion to Petri nets for semiconductor manufacturing modeling

  2002cited by this paper
• Research on formal models of railway signal interlocking logics

  2002cited by this paper
• Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts

  2002cited by this paper
• EUROPEAN COOPERATION ON RAILWAY NOISE

  2001cited by this paper
• Formal Modelling and Simulation of Train Control Systems Using Petri Nets

  1999cited by this paper
• High-level Petri Nets: Theory And Application

  1991cited by this paper
• Petri nets: Properties, analysis and applications

  1989cited by this paper
• Petri nets: Properties, analysis and applications

  1989cited by this paper
• Coloured Petri Nets

  1986cited by this paper

• Research on Technology and Maintenance of Train Control Center

  2024cites this paper
• Information security system model in the automated system developed in the simulation software environment CPN Tools

  2020cites this paper
• Verifying SysML activity diagrams using formal transformation to Petri nets

  2019cites this paper
• Evaluation and Extracting Factual Software Architecture of Distributed System by Process Mining Techniques

  2017cites this paper
• An Annotated Bibliography of TimeNET

  2017cites this paper
• A verification framework with application to a propulsion system

  2014cites this paper
• Automatic Train Control System Development and Simulation for High-Speed Railways

  2010cites this paper