Sequence Composition Analysis of Noninterference in Cyber-Physical System With Petri Net

International Journal of Security and its Applications - South Korea
doi 10.14257/ijsia.2014.8.3.20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

NADIA

Related search

Intrusion Detection in Cyber-Physical Systems Based on Petri Net

Information Technology and Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2018English

Fault Diagnosis for Power System Using Time Sequence Fuzzy Petri Net

2015English

Petri Net Analysis Using Invariant Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Mobile Cyber-Physical System

Mobile Information Systems
Computer NetworksComputer Science ApplicationsCommunications
2017English

Petri Net Synthesis

Texts in Theoretical Computer Science. An EATCS Series
2015English

Dangerous Driving Event Analysis System by a Cascaded Fuzzy Reasoning Petri Net

2006English

Research on Mapping UML to Petri-Net in System Modeling

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2016English

Toward Automatic Analyzing Statechart With Petri Net

Information Technology Journal
2013English

Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net

International Journal of Computer Applications
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy