Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions

Deciding how to prevent discrete event systems (DESs) from reaching forbidden states is an important problem in the field of DES supervisory control. For DESs with uncontrollable events, linear constraint transformation becomes a popular technique for solving the forbidden state problem when Petri n...

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	IEEE Access
المؤلفون الرئيسيون:	Dan You, Shouguang Wang, Zhiwu Li, Chengying Wang
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	IEEE 2017-01-01
الموضوعات:	Discrete event systems Petri nets uncontrollable transitions linear constraints optimal transformation
الوصول للمادة أونلاين:	https://ieeexplore.ieee.org/document/7907244/

مواد مشابهة

Language-Based Opacity Verification in Partially Observed Petri Nets through Linear Constraints
حسب: Ikram Saadaoui, وآخرون
منشور في: (2023-09-01)

A Deadlock Prevention Strategy for Petri Nets Through Tuning Time Constraints
حسب: Qianlong Zhai, وآخرون
منشور في: (2024-01-01)

Detectability in Discrete Event Systems Using Unbounded Petri Nets
حسب: Haoming Zhu, وآخرون
منشور في: (2023-09-01)

Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints
حسب: Kohei Fujita, وآخرون
منشور في: (2022-01-01)

Verification of Detectability for Time Labeled Petri Net Systems with Unobservable Transitions
حسب: Tao Qin, وآخرون
منشور في: (2025-02-01)

Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net
حسب: Shaopeng Hu, وآخرون
منشور في: (2024-11-01)

Modelling of secondary cooling system with a distributed architecture, using Coloured Petri nets
حسب: Ruth Cano, وآخرون
منشور في: (2019-04-01)

Verification of Archive System Opacity With Bounded Labeled Petri Nets
حسب: Zhenzhong Liu
منشور في: (2024-01-01)

Diagnosability of Vector Discrete-Event Systems Using Predicates
حسب: Qinrui Chen, وآخرون
منشور في: (2019-01-01)

MPAT: Modular Petri Net Assembly Toolkit
حسب: Stefano Chiaradonna, وآخرون
منشور في: (2024-12-01)

Fault Diagnosis of Bounded Petri Nets Using Path Marking Graphs
حسب: Dandan Ye, وآخرون
منشور في: (2018-01-01)

A symbolic approach to the verification and enforcement of current‐state opacity using labelled Petri nets
حسب: Kun Peng, وآخرون
منشور في: (2024-01-01)

A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study
حسب: Reggie Davidrajuh
منشور في: (2019-11-01)

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks
حسب: Faming Lu, وآخرون
منشور في: (2024-01-01)

Failures in discrete-event systems and dealing with them by means of Petri nets
حسب: František Čapkovič
منشور في: (2018-05-01)

Sequence Planning for Labeled Petri Nets With Time and Resource Constraints Using Basis Markings
حسب: Yejia Liu, وآخرون
منشور في: (2023-01-01)

Decentralized Marking Fault Diagnosis of Labeled Petri Nets
حسب: Zhenhua Yu, وآخرون
منشور في: (2023-01-01)

Diagnosability Enforcement in Discrete Event Systems Using Labeled Petri Nets
حسب: Wei Wei, وآخرون
منشور في: (2025-01-01)

Supervisory control of quantitative Petri nets for fixed‐initial‐credit energy problems using a game structure
حسب: Yuling Zhang, وآخرون
منشور في: (2024-05-01)

Detection of Actuator Enablement Attacks by Petri Nets in Supervisory Control Systems
حسب: Zhenhua Yu, وآخرون
منشور في: (2023-02-01)

Design of River System Deadlock Avoidance Supervisor by Using Petri Net
حسب: Danko Kezić, وآخرون
منشور في: (2010-05-01)

On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions
حسب: Amal Zaghdoud, وآخرون
منشور في: (2024-11-01)

PetriNet Editor + PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation
حسب: Erik Kučera, وآخرون
منشور في: (2020-10-01)

On–The–Fly Diagnosability Analysis of Bounded and Unbounded Labeled Petri Nets Using Verifier Nets
حسب: Li Ben, وآخرون
منشور في: (2018-06-01)

Fault diagnosis of distribution network based on time constraint intuition fuzzy Petri nets
حسب: Chuannuo Xu, وآخرون
منشور في: (2025-03-01)

Calculation and Analysis of Petri Net Reachability Graphs by a Think-Globally-Act-Locally Method
حسب: Chengzong Li, وآخرون
منشور في: (2025-02-01)

Estimation of Minimum Initial Marking in Labeled Petri Nets
حسب: XU Shulin, ZHOU Guangrui, YUE Hao
منشور في: (2021-04-01)

Simplification of a Petri Net controller in industrial systems
حسب: Abbas Dideban, وآخرون
منشور في: (2013-02-01)

Improving Relationship between UML and Petri Nets for Analyzing System by Applying Object Oriented Petri Nets
حسب: Meysam Aminzadeh, وآخرون
منشور في: (2013-02-01)

Overview of Opacity in Discrete Event Systems
حسب: Ye Guo, وآخرون
منشور في: (2020-01-01)

Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping
حسب: Pau Fonseca i Casas, وآخرون
منشور في: (2020-02-01)

Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority
حسب: Yejia Liu, وآخرون
منشور في: (2023-01-01)

Operation Optimization and Reliability Evaluation of Integrated Energy System Based on Improved Timing Constraint Petri Net
حسب: Liexiang HU, وآخرون
منشور في: (2020-10-01)

Design of automatic control system based on unified timed hybrid Petri net
حسب: Israel Francisco Benítez Pina, وآخرون
منشور في: (2017-01-01)

Structural matrices for Signed Petri net
حسب: Payal, وآخرون
منشور في: (2022-05-01)

KESTABILAN MODEL PETRI NET DARI SISTEM PEMBAYARAN TAGIHAN LISTRIK PT. PLN (Persero) RAYON AMBON TIMUR
حسب: Zumrotus Sya'diyah
منشور في: (2021-12-01)

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
حسب: L. W. Dworza´nski, وآخرون
منشور في: (2015-03-01)

Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
حسب: Yaqiong He, وآخرون
منشور في: (2018-01-01)

Application of Hierarchical Colored Petri Nets for Technological Facilities’ Maintenance Process Evaluation
حسب: Sergey P. Orlov, وآخرون
منشور في: (2021-05-01)

Representation and termination analysis for ECA rules based on extended Petri net
حسب: Li-chen ZHANG, وآخرون
منشور في: (2013-03-01)