A Petri-net Model for Operational Cycle in SCADA Systems

Payam Mahmoudi Nasr;

doi:10.29252/jsdp.17.2.14

A Petri-net Model for Operational Cycle in SCADA Systems

Signal and Data Processing ◽

10.29252/jsdp.17.2.14 ◽

2020 ◽

Vol 17 (2) ◽

pp. 14-3

Author(s):

Payam Mahmoudi Nasr ◽

Keyword(s):

Petri Net ◽

Operational Cycle ◽

Scada Systems

Download Full-text

Evaluating the risk of cyber attacks on SCADA systems via Petri net analysis with application to hazardous liquid loading operations

2009 IEEE Conference on Technologies for Homeland Security ◽

10.1109/ths.2009.5168093 ◽

2009 ◽

Cited By ~ 15

Author(s):

Matthew H. Henry ◽

Ryan M. Layer ◽

Kevin Z. Snow ◽

David R. Zaret

Keyword(s):

Petri Net ◽

Cyber Attacks ◽

Liquid Loading ◽

Scada Systems

Download Full-text

Generation of the Petri net by means of the resources of the dis-crete-continuous nets in the algorithm formation for the self-tuning of the coordinating control system

ELECTRICAL AND COMPUTER SYSTEMS ◽

10.15276/eltecs.26.102.2017.9 ◽

2017 ◽

Vol 26 (102) ◽

pp. 78-87 ◽

Cited By ~ 1

Author(s):

A. A. Gurskiy ◽

◽

A. E. Goncharenko ◽

A. V. Denisenko

Keyword(s):

Control System ◽

Petri Net ◽

The Self ◽

Self Tuning ◽

Coordinating Control

Download Full-text

Computational Complexity of Liveness Problem of Normal Petri Net

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e92.a.2717 ◽

2009 ◽

Vol E92-A (11) ◽

pp. 2717-2722 ◽

Cited By ~ 2

Author(s):

Atsushi OHTA ◽

Kohkichi TSUJI

Keyword(s):

Computational Complexity ◽

Petri Net

Download Full-text

A Petri-Net Based Representation of Automated Railway Signalling System with Collision Avoidance

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v5i12.290295 ◽

2017 ◽

Vol 5 (12) ◽

pp. 290-295

Author(s):

R. Barik ◽

◽

...

Keyword(s):

Collision Avoidance ◽

Petri Net ◽

Signalling System ◽

Railway Signalling

Download Full-text

DATA EXCHANGE ORGANIZATION IN SCADA-SYSTEMS BASED ON STANDARD OPEN COMMUNICATION PROTOCOLS

RSUH/RGGU Bulletin. Series Information Science. Information Security. Mathematics ◽

10.28995/2686-679x-2019-1-8-20 ◽

2019 ◽

pp. 8-20

Author(s):

Galina S. Ivanova ◽

◽

Maxim V. Bäcker ◽

Keyword(s):

Data Exchange ◽

Communication Protocols ◽

Open Communication ◽

Scada Systems

Download Full-text

An agent-based Flexible Manufacturing System controller with Petri-net enabled algebraic deadlock avoidance

Reports in Mechanical Engineering ◽

10.31181/rme200101077m ◽

2020 ◽

Vol 1 (1) ◽

pp. 77-92

Author(s):

Sotirios Messinis ◽

◽

George Vosniakos ◽

Keyword(s):

Petri Net ◽

Flexible Manufacturing ◽

Manufacturing System ◽

Flexible Manufacturing System ◽

Deadlock Avoidance ◽

Agent Based ◽

System Controller

Download Full-text

Service-oriented design in aspect-oriented and Petri net-based approach

10.31274/rtd-180813-17180 ◽

2007 ◽

Author(s):

Tae-hyung Kim

Keyword(s):

Petri Net ◽

Service Oriented

Download Full-text

Modeling and application of an embedded real-time system based on real-time colored Petri net

Journal Européen des Systèmes Automatisés ◽

10.3166/jesa.51.333-345 ◽

2018 ◽

Vol 51 (4-6) ◽

pp. 333-345

Author(s):

Lianli HUANG ◽

Kui ZHOU

Keyword(s):

Real Time ◽

Petri Net ◽

Colored Petri Net ◽

Time System ◽

Real Time System

Download Full-text

Light Controlled Intersection Model Based on the Continuous Petri Net

12th IFAC Symposium on Control in Transportation Systems ◽

10.3182/20090902-3-us-2007.00078 ◽

2009 ◽

Author(s):

Kutil, Michal

Keyword(s):

Petri Net ◽

Model Based ◽

Intersection Model

Download Full-text

A Time Petri Net Model Based on Uniform Distribution

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2010.00900 ◽

2010 ◽

Vol 33 (5) ◽

pp. 900-907 ◽

Cited By ~ 1

Author(s):

Li PAN ◽

Zhi-Jun DING ◽

Gang CHEN

Keyword(s):

Uniform Distribution ◽

Petri Net ◽

Model Based ◽

Time Petri Net

Download Full-text