LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "labeled petri" as a keyword



Stealthy Sensor Attacks for Plants Modeled by Labeled Petri Nets

Sign Up to like & get
recommendations! Published in 2020 at "IFAC-PapersOnLine"

DOI: 10.1016/j.ifacol.2021.04.048

Abstract: Abstract The problem of stealthy sensor attacks for labeled Petri nets is considered. An operator observes the plant to establish if a set of critical markings has been reached. The attacker can corrupt the sensor… read more here.

Keywords: sensor attacks; petri nets; labeled petri; attack ... See more keywords
Photo from wikipedia

Analysis of strong and strong periodic detectability of bounded labeled Petri nets

Sign Up to like & get
recommendations! Published in 2021 at "Nonlinear Analysis: Hybrid Systems"

DOI: 10.1016/j.nahs.2021.101087

Abstract: Abstract Detectability describes the property of a system to uniquely determine, after a finite number of observations, the current and the subsequent states. Different notions of detectability have been proposed in the literature. In this… read more here.

Keywords: strong periodic; periodic detectability; petri nets; labeled petri ... See more keywords

Engineering efficiency unleashed: minimum initial marking estimation in labeled Petri nets through a cutting-edge hybrid evolutionary heuristic

Sign Up to like & get
recommendations! Published in 2025 at "Engineering Computations"

DOI: 10.1108/ec-07-2024-0624

Abstract: PurposeAs widely used by the design and decision-making of resource allocation and communications in manufacturing, monitoring of mobile robot network and other engineering fields, minimum initial marking (MIM) estimation is to determine the initial marking(s)… read more here.

Keywords: hybrid evolutionary; engineering; initial marking; estimation ... See more keywords

Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions

Sign Up to like & get
recommendations! Published in 2019 at "IEEE Access"

DOI: 10.1109/access.2019.2894352

Abstract: In the literature, researchers have been studying the minimum initial marking (MIM) estimation problem in the labeled Petri nets with observable transitions. This paper extends the results to labeled Petri nets with unobservable transitions (with… read more here.

Keywords: petri nets; labeled petri; initial marking; unobservable transitions ... See more keywords

Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority

Sign Up to like & get
recommendations! Published in 2023 at "IEEE Access"

DOI: 10.1109/access.2023.3272404

Abstract: This paper deals with the supervisory control problem of discrete event systems modeled with labeled Petri nets. A transition priority matrix is proposed to control the firing of controllable transitions to prevent the system from… read more here.

Keywords: labeled petri; transition priority; control; control strategy ... See more keywords

On Diagnosability Consistency of Composed Labeled Petri Nets via Buffer Places

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Internet of Things Journal"

DOI: 10.1109/jiot.2025.3631606

Abstract: Fault diagnosis in Internet of Things systems, where multiple distributed components interact asynchronously through communication buffers, poses significant challenges due to system scalability and communication uncertainties. To address this, this article studies the problem of… read more here.

Keywords: buffer places; diagnosability consistency; labeled petri; via buffer ... See more keywords

Online Fault Prognosis of Labeled Petri Nets

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Control Systems Letters"

DOI: 10.1109/lcsys.2025.3573606

Abstract: This letter addresses the problem of online fault prognosis of discrete event systems modeled by bounded and unbounded-labeled Petri nets (LPNs). Fault prognosis, also known as fault prediction, has as its main goal to detect… read more here.

Keywords: online fault; prognosis; fault prognosis; labeled petri ... See more keywords

Marking Estimation in a Class of Time Labeled Petri Nets

Sign Up to like & get
recommendations! Published in 2020 at "IEEE Transactions on Automatic Control"

DOI: 10.1109/tac.2019.2907413

Abstract: This paper proposes an efficient marking estimation method for a subclass of time labeled Petri nets (TLPNs), in which each transition is associated with an infinite upper bound delay. The unobservable subnet of the considered… read more here.

Keywords: time labeled; petri nets; labeled petri; estimation ... See more keywords

Codiagnosability Enforcement in Labeled Petri Nets

Sign Up to like & get
recommendations! Published in 2023 at "IEEE Transactions on Automatic Control"

DOI: 10.1109/tac.2022.3173170

Abstract: This article aims to enforce codiagnosability in labeled Petri nets, which are monitored by a series of sites. A labeled Petri net is codiagnosable with respect to a certain fault, if the occurrence of such… read more here.

Keywords: codiagnosability enforcement; labeled petri; enforcement labeled; petri nets ... See more keywords

Minimum Initial Marking Estimation in Labeled Petri Nets Using Minimum Token Number Prediction

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Transactions on Automatic Control"

DOI: 10.1109/tac.2024.3510521

Abstract: This article proposes an approach to addressing the problem of minimum initial marking (MuIM) estimation for labeled Petri nets (LPNs). We introduce the important concept of a label synthesis net for LPNs and develop a… read more here.

Keywords: initial marking; estimation; labeled petri; estimation labeled ... See more keywords

Diagnosability Verification and Enforcement in Labeled Petri Nets Under Sensor Attacks

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Transactions on Systems, Man, and Cybernetics: Systems"

DOI: 10.1109/tsmc.2025.3545756

Abstract: This article formalizes and solves the problems of diagnosability verification and enforcement in discrete event systems modeled with labeled Petri nets (LPNs) under sensor attacks. Given a plant, attackers work as a group in the… read more here.

Keywords: sensor attacks; diagnosability verification; verification enforcement; labeled petri ... See more keywords