Time based deadlock prevention for Petri nets
Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, Gaiyun Liu, Zhiwu Li
Topics & Concepts
Petri netDeadlockDecidabilityDeadlock prevention algorithmsComputer scienceParametric statisticsContext (archaeology)Bounded functionStochastic Petri netState (computer science)Model checkingProcess architectureTheoretical computer scienceAlgorithmDistributed computingMathematicsStatisticsBiologyMathematical analysisPaleontologyPetri Nets in System ModelingBusiness Process Modeling and AnalysisFormal Methods in Verification