A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software
2009
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference
Preserved Fulltext
The contributions of this paper include: (i) formal definition of Gadara nets and of controlled Gadara nets; (ii) a behavioral analysis of Gadara nets for liveness and reversibility using siphons; and ...
Gadara nets are related to, but different from, other classes of nets that have been characterized in deadlock analysis of manufacturing systems. ...
in the characterization of the liveness and reversibility of Gadara nets that is provided in the rest of this section. ...
doi:10.1109/cdc.2009.5399950
dblp:conf/cdc/WangLRKML09
fatcat:ksumrnandnf2paqd2ihy4jqwnm
Virtual Control Policy for Binary Ordered Resources Petri Net Class
2016
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper we present a virtual control policy for the new specialized Petri net subclass called Binary Ordered Resources Petri Net (BORPN). ...
Prevention and avoidance of deadlocks in sensor networks that use the wormhole routing algorithm is an active research domain. ...
Conflicts of Interest: The authors declare no conflict of interest. Sensors 2016, 16, 1307 ...
doi:10.3390/s16081307
pmid:27548170
pmcid:PMC5017472
fatcat:zm4ewkrxwvf7xezw7m6tanimam
A method for the synthesis of deadlock prevention controllers in systems modeled by Petri nets
2000
Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Given an arbitrary Petri net structure, the deadlock prevention procedure presented here determines a set of linear inequalities on the marking of a Petri net. ...
When the Petri net is supervised so that its markings satisfy these inequalities, the supervised net is proved to be deadlock-free for all initial markings that satisfy the supervision constraints. ...
if there is no other siphon st such that st tion of Petri nets to PT-ordinary Petri nets. ...
doi:10.1109/acc.2000.879149
fatcat:diobt5wihja4dgfxx57mev7pom
Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
This paper presents new results concerned with liveness, liveness of a subset of transitions and deadlock in Petri nets. ...
Specifically we generalize the result relating deadlock to siphons to a necessary and sufficient condition, and we extend the recent generalization of Commoner's Theorem for asymmetric choice Petri nets ...
For an example, consider the Petri nets of Figure 4
A Characterization of Petri Nets Based on Subnets which Can Be Made Live, in View of Deadlock Prevention and Liveness Enforcement We denote by the ...
doi:10.1007/3-540-45740-2_12
fatcat:dpdlkkshcvgglkheyqb2e5gus4
On liveness and boundedness of asymmetric choice nets
2004
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In the literature, a majority of the characterizations are for ordinary free choice nets. ...
This paper concerns two important techniques, characterization and property-preserving transformation, for verifying some basic properties of asymmetric choice Petri nets (AC nets). ...
net in terms of the liveness of those subnets generated by its minimal siphons. ...
doi:10.1016/s0304-3975(03)00359-1
fatcat:cxn3dfczzjbuljd5a4afpfmppu
Page 6455 of Mathematical Reviews Vol. , Issue 2004h
[page]
2004
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
, To-Yat (PRC-CHK-C; Kowloon)
Characterizing liveness monotonicity for weighted Petri nets in terms of siphon-based properties. ...
Summary: “A Petri net (N, Mo) is monotonically live (m-live) if
it remains live when the values of its initial marking Mp are in- creased. ...
A Correction and Some Comments on the Article "Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets"
2017
IEEE Transactions on Control Systems Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
of the Petri net class considered in the manuscript. ...
The main purpose of this correspondence is to point out the fallacy of Theorem 1 in the paper that is mentioned in the title, a result that attempts to provide a structural characterization for the liveness ...
In more general terms, the reason that deadly marked siphons are unable to interpret the nonliveness of the S 3 PG R 2 /S 4 P R nets, is the nonhomegeneity, in terms of the required number of units, of ...
doi:10.1109/tcst.2017.2675840
fatcat:eldbnvrrmvdxjf5tloxuhrnc5i
A method for the synthesis of liveness enforcing supervisors in Petri nets
2001
Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
The supervisor is specified as a conjunction of linear marking inequalities. For all initial markings satisfying the linear marking inequalities, the supervised Petri net is live. ...
Given an arbitrary Petri net structure which may have uncontrollable and unobservable transitions and may be unbounded, the procedure described in this paper generates a supervisor for liveness enforcement ...
However we consider arbitrary Petri nets, which may be unbounded, and we characterize the set of markings for which liveness can be enforced. ...
doi:10.1109/acc.2001.945768
fatcat:abugtqwqqjgkrdu4mpotfbbpf4
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets
2011
IEEE Conference on Decision and Control and European Control Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The considered control synthesis algorithm is based on structural analysis of Gadara nets in terms of a certain type of siphons, called resource-induced deadly-marked siphons. ...
This paper presents an efficient implementation of an iterative control algorithm for the synthesis of maximallypermissive liveness-enforcing control policies for Gadara nets presented in earlier work. ...
For Gadara nets, liveness of the net can also be characterized in terms of RIDM siphons [24] , [16] . ...
doi:10.1109/cdc.2011.6160535
dblp:conf/cdc/LiaoSWLRM11
fatcat:h6r2tytqofb3dh25yjo4sayodq
Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems
2007
IEEE transactions on systems, man and cybernetics. Part A. Systems and humans
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
framework in order to provide an alternative explanation of the way in which certain methodologies, that have been proposed in the past, enforce the liveness of a particular class of PT-ordinary Petri ...
The work presented in this paper seeks (i) to correct and generalize some previously published results regarding the siphon control in PT-ordinary Petri nets, and subsequently (ii) to employ this generalized ...
INTRODUCTION The role and the significance of the structural object of siphon for the deadlock and liveness analysis of many Petri net (PN) classes are well-documented in the relevant literature, e.g., ...
doi:10.1109/tsmca.2007.893461
fatcat:srxfyyu6xjb5vi7ko65hokjjy4
An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets
2016
Discrete Dynamics in Nature and Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The model of this class in terms of generalized Petri nets is, namely, S4PR. ...
On the basis of recent structural analysis results related to the elementary siphons in generalized Petri nets on one hand and an efficient deadlock avoidance policy proposed for the class of conjunctive ...
Controllability of Siphons. The cs-property [2] is an important concept in liveness-enforcement for a generalized Petri net. ...
doi:10.1155/2016/8219424
fatcat:iaa64bk5gjb2bjkjzmzkqy7dlu
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
2012
Discrete event dynamic systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
We define a new class of Petri nets, called Gadara nets, that arises from this modeling process. ...
We investigate a set of important properties of Gadara nets, such as liveness, reversibility, and linear separability. ...
In this section, we first establish some results about the liveness of Gadara nets, which connect this behavioral property to a certain structural property in terms of siphons. ...
doi:10.1007/s10626-012-0139-x
fatcat:po6yismba5gufnldnyuvkhuf7i
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
2013
IEEE Transactions on Automatic Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
The algorithm employs structural analysis of the net and synthesizes monitor places to prevent the formation of a special class of siphons, termed resource-induced deadlymarked siphons. ...
We investigate the synthesis of optimal livenessenforcing control policies for Gadara nets, a special class of Petri nets that arises in the modeling of the execution of multithreaded computer programs ...
INTRODUCTION Liveness-enforcing control is an important class of problems in the supervisory control of Petri nets. ...
doi:10.1109/tac.2012.2230814
fatcat:67w7ypkhlbhlziskxvcbhqu4oe
A Petri net based deadlock prevention policy for flexible manufacturing systems
1995
IEEE Transactions on Robotics and Automation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
The analysis of S ' P R leads us to characterize deadlock situations in terms of a zero marking for some structural objects called siphons. ...
In this paper we illustrate a compositional method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) through a special class of Petri Nets that we call ...
ACKNOWLEDGMENT The authors would like to thank the anonymous referees whose comments and suggestions helped us to improve this version of the paper. ...
doi:10.1109/70.370500
fatcat:mqsekarksjfjrdun2n4asra6ru
Deadlock analysis and control based on Petri nets: A siphon approach review
2017
Advances in Mechanical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Advances in Mechanical Engineering
Funding The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was supported ...
by the National Natural Science Foundation of China under Grant No. 61403296. ...
characterize the deadlock behavior of a system in terms of siphons in its Petri net model and utilize this characterization to control the net. ...
doi:10.1177/1687814017693542
fatcat:jdgy6s6nlvd7rdtrgu4ecmi3tq
« Previous
Showing results 1 — 15 out of 389 results