Correction to: Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets

Mapping Intimacies ◽

10.1007/978-3-030-72003-2_10 ◽

2021 ◽

pp. C1-C1

Author(s):

Hela Kadri ◽

Simon Collart-Dutilleul ◽

Philippe Bon

Keyword(s):

Petri Nets ◽

Colored Petri Nets ◽

Operating Modes ◽

Railway System ◽

System Operating

Download Full-text

Crossing Border in the European Railway System: Operating Modes Management by Colored Petri Nets

Operating Rules and Interoperability in Trans-National High-Speed Rail ◽

10.1007/978-3-030-72003-2_8 ◽

2021 ◽

pp. 213-230

Author(s):

Hela Kadri ◽

Simon Collart-Dutilleul ◽

Philippe Bon

Keyword(s):

Petri Nets ◽

Colored Petri Nets ◽

Operating Modes ◽

Railway System ◽

System Operating

Download Full-text

Modeling of railway system maintenance and availability by means of colored Petri nets

Eksploatacja i Niezawodnosc - Maintenance and Reliability ◽

10.17531/ein.2018.2.08 ◽

2018 ◽

Vol 20 (2) ◽

pp. 236-243 ◽

Cited By ~ 5

Author(s):

Haifeng Song ◽

Eckehard Schnieder

Keyword(s):

Petri Nets ◽

Colored Petri Nets ◽

Railway System ◽

System Maintenance

Download Full-text

Evaluating Fault Tree by means of Colored Petri nets to analyze the railway system dependability

Safety Science ◽

10.1016/j.ssci.2018.08.017 ◽

2018 ◽

Vol 110 ◽

pp. 313-323 ◽

Cited By ~ 5

Author(s):

Haifeng Song ◽

Eckehard Schnieder

Keyword(s):

Petri Nets ◽

Fault Tree ◽

Colored Petri Nets ◽

Railway System

Download Full-text

SIMULATION OF WPP/HPP POWER SYSTEM OPERATING MODES IN DECENTRALIZED POWER SUPPLY SYSTEM

Alternative Energy and Ecology (ISJAEE) ◽

10.15518/isjaee.2016.09-10.012-024 ◽

2016 ◽

pp. 12-24 ◽

Cited By ~ 1

Author(s):

V. V. Elistratov ◽

A. V. Vinogradova (Chernova)

Keyword(s):

Power System ◽

Power Supply ◽

Power Supply System ◽

Supply System ◽

Operating Modes ◽

Decentralized Power Supply ◽

System Operating

Download Full-text

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

JOURNAL OF ELECTRONICS INFORMATION TECHNOLOGY ◽

10.3724/sp.j.1146.2013.00090 ◽

2014 ◽

Vol 35 (11) ◽

pp. 2608-2614

Author(s):

Xiang Gao ◽

Yue-fei Zhu ◽

Sheng-li Liu

Keyword(s):

Petri Nets ◽

Colored Petri Nets ◽

Model Based

Download Full-text

Modeling Recursive Search Algorithms by Means of Hierarchical Colored Petri Nets and CPN Tools

2015 12th International Conference on Information Technology - New Generations ◽

10.1109/itng.2015.143 ◽

2015 ◽

Cited By ~ 2

Author(s):

Clarimundo Machado Moraes Junior ◽

Rita Maria Silva Julia ◽

Stephane Julia

Keyword(s):

Petri Nets ◽

Search Algorithms ◽

Colored Petri Nets ◽

Cpn Tools ◽

Recursive Search

Download Full-text

Research on equipment supportability assessment based on agent-oriented colored petri nets

2009 8th International Conference on Reliability, Maintainability and Safety ◽

10.1109/icrms.2009.5270063 ◽

2009 ◽

Author(s):

Yu Cao ◽

Shengde Wang ◽

Tiening Wang ◽

Xinyue Tian

Keyword(s):

Petri Nets ◽

Colored Petri Nets

Download Full-text

A timed colored Petri nets modeling for dynamic workflow in product development process

Computers in Industry ◽

10.1016/j.compind.2007.06.016 ◽

2008 ◽

Vol 59 (2-3) ◽

pp. 193-209 ◽

Cited By ~ 37

Author(s):

Seungchul Ha ◽

Hyo-Won Suh

Keyword(s):

Product Development ◽

Petri Nets ◽

Development Process ◽

Product Development Process ◽

Colored Petri Nets ◽

Dynamic Workflow ◽

Timed Colored Petri Nets

Download Full-text

Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets

2015 IEEE International Conference on Robotics and Automation (ICRA) ◽

10.1109/icra.2015.7139732 ◽

2015 ◽

Cited By ~ 2

Author(s):

HeSuan Hu ◽

Yan Yang ◽

Yang Liu ◽

Chen Chen

Keyword(s):

Petri Nets ◽

Manufacturing Systems ◽

Colored Petri Nets ◽

Automated Manufacturing ◽

Automated Manufacturing Systems ◽

Supervisor Design

Download Full-text

Optimization and Modeling of High-speed Flying Train Communication System Based on Colored Petri Nets

10.1109/icpics52425.2021.9524226 ◽

2021 ◽

Author(s):

Jingyu Lin ◽

Qihong Yue ◽

Xiangqian Liu

Keyword(s):

Petri Nets ◽

Communication System ◽

High Speed ◽

Colored Petri Nets

Download Full-text