European Railway Traffic Management System Validation Using UML/Petri Nets Modelling Strategy

European Transport Research Review - Germany
doi 10.1007/s12544-010-0030-5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Modelling and Validation of a Multi-Phase Traffic Light Controlled Cross-Type Intersection Using Timed Coloured Petri Nets

American Journal of Scientific and Industrial Research
2011English

Modelling and Simulation of AGVs Using Petri Nets

Robotics & Automation Engineering Journal
2018English

Modelling of Biometric Identification System With Given Parameters Using Colored Petri Nets

ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
2017English

Dynamic Process Modelling Using Petri Nets With Applications to Nuclear Power Plant Emergency Management

International Journal of Simulation and Process Modelling
ModelingApplied MathematicsComputer Science ApplicationsSimulation
2008English

Modelling and Simulation of a Multi-Phase Traffic Light Controlled T-Type Junction Using Timed Coloured Petri Nets

American Journal of Scientific and Industrial Research
2011English

On the Integration of UML and Petri Nets in Software Development

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Validation of Enterprise Architecture Through Colored Petri Nets

Management Science Letters
AccountingManagementBusiness
2015English

From Code to Coloured Petri Nets: Modelling Guidelines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Formal Semantics of UML StateCharts by Means of Timed Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy