COMPUTATION METHOD ON SCHEDULING REACHABILITY DECISION DOMAIN FOR TIMING CONSTRAINT PETRI NETS
Gen-Ke YANG,Jian-Chao ZENG,Guo-Ji SUN
DOI: https://doi.org/10.3321/j.issn:0254-4164.1998.01.005
1998-01-01
Chinese Journal of Computers
Abstract:AhstractTsai et al. puts forward the timing constraint Petri nets (TCPN) in1995, introduces. the conception of transition firability and schedulability, and givesa few formulas to judge firability and schedulability. However, due to the complex-ity of TCPN description, the logic relationship between some concepts and someformulas in Tsai's paper are contradictory. By introducing dynamic marking andschedule decision variable, and applying the conception and calculation method ofdecision space, the paper presents firability and schedulability decision domain ofTCPN. The problem of searching for decision space can be formulated as planningproblems. The determination of decision space solves the controllable reachabilityproblem of TCPN. So, the mistakes of Tsai's paper are corrected, and ambiguityclarified. Because TCPN employs weak firing mode, when the transition which getsfiring priority reaches the earliest firable time, its real firing time is decided byscheduler. Besides, because transition firing lasts for a period of time, transitioncan not secure successful completion firing even after it is fired. The firing possibil-ity of an enabled transition may depend on the failure extermination of firing pro-cess of other conflict transitions. Therefore,the paper points out that schedulabilityanalysis along with a firing sequence, in which failure transitions is included, it isan inherent scheduling problem of TCPN.