You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (56)

Journals (0)

1-10 of 56 results for reachability graph

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Analysis of RTCP-nets with Reachability Graphs

Retricted access

Research article

First published 2006-12

Analysis of RTCP-nets with Reachability Graphs

Marcin Szpyrka

Fundamenta Informaticae

Select article: A scalable algorithm for network reachability analysis with cyclic attack graphs

Retricted access

Research article

First published 2023-1-26

A scalable algorithm for network reachability analysis with cyclic attack graphs

Kengo Zenitani

Journal of Computer Security

Select article: Transition-based deadlock control policy using reachability graph for flexible manufacturing systems

Open access

Research article

First published 2016-2

Transition-based deadlock control policy using reachability graph for flexible manufacturing systems

Xiuyan Zhang, Murat Uzam

Advances in Mechanical Engineering

Select article: Combinatorics and resource circuit–based enumeration of reachable states for S 3 PR

Open access

Research article

First published 2016-6

Combinatorics and resource circuit–based enumeration of reachable states for S 3 PR

Liang Hong, AnRong Wang, JunFeng Jing [...]

Advances in Mechanical Engineering

Select article: Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method

Open access

Research article

First published 2016-3

Near-optimal supervisory control of flexible manufacturing systems using divide-and-conquer iterative method

Mi Zhao, Murat Uzam, YiFan Hou

Advances in Mechanical Engineering

Select article: Maximally permissive deadlock prevention policies for flexible manufacturing systems using control transition

Open access

Research article

First published 2018-7

Maximally permissive deadlock prevention policies for flexible manufacturing systems using control transition

Ter-Chan Row, Yen-Liang Pan

Advances in Mechanical Engineering

Select article: An iterative deadlock prevention approach for automated manufacturing systems

Retricted access

Research article

First published 2011-2

An iterative deadlock prevention approach for automated manufacturing systems

H.S. Hu

Transactions of the Institute of Measurement and Control

Select article: Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets

Open access

Research article

First published 2022-1

Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets

Salwa Habbachi, Zhiwu Li, Naiqi Wu [...]

Science Progress

Select article: Design of improved optimal and suboptimal deadlock prevention for flexible manufacturing systems based on place invariant and reachability graph analysis methods

Open access

Research article

First published 2017-9

Design of improved optimal and suboptimal deadlock prevention for flexible manufacturing systems based on place invariant and reachability graph analysis methods

Yen-Liang Pan, Ching-Yun Tseng, Ter-Chan Row

Journal of Algorithms & Computational Technology

Select article: Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

Retricted access

Research article

First published 2006-4

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

1
2
3
•••
6
10 / page

Article type

Publication date

Subjects

Access