389 Hits in 4.1 sec

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software

Yin Wang, Hongwei Liao, Spyros Reveliotis, Terence Kelly, Scott Mahlke, Stephane Lafortune
2009 Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference  
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

Carlos Rovetto, Tomás Concepción, Elia Cano
2016 Sensors  
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

M.V. Iordache, J.O. Moody, P.J. Antsaklis
2000 Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334)  
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]

Marian V. Iordache, Panos J. Antsaklis
2001 Lecture Notes in Computer Science  
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

Li Jiao, To-Yat Cheung, Weiming Lu
2004 Theoretical Computer Science  
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  
, 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"

Spyros Reveliotis
2017 IEEE Transactions on Control Systems Technology  
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

M.V. Iordache, J.O. Moody, P.J. Antsaklis
2001 Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148)  
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

Hongwei Liao, Jason Stanley, Yin Wang, Stephane Lafortune, Spyros Reveliotis, Scott Mahlke
2011 IEEE Conference on Decision and Control and European Control Conference  
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

Spyros A. Reveliotis
2007 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
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

YiFan Hou, Mi Zhao, Ding Liu, Liang Hong
2016 Discrete Dynamics in Nature and Society  
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

Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott Mahlke, Spyros Reveliotis
2012 Discrete event dynamic systems  
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

Hongwei Liao, Stephane Lafortune, Spyros Reveliotis, Yin Wang, Scott Mahlke
2013 IEEE Transactions on Automatic Control  
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

J. Ezpeleta, J.M. Colom, J. Martinez
1995 IEEE Transactions on Robotics and Automation  
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

YiFan Hou, Kamel Barkaoui
2017 Advances in Mechanical Engineering  
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