Computer Science ›› 2016, Vol. 43 ›› Issue (11): 126-129.doi: 10.11896/j.issn.1002-137X.2016.11.024

Previous Articles     Next Articles

Stochastic Simulation of Time Petri Nets

PAN Li and YANG Bo   

  • Online:2018-12-01 Published:2018-12-01

Abstract: Simulation is a common method of system analysis for Petri nets.Time Petri nets describe firing time ranges of transitions by time intervals,thus the firing time pionts of transitions are uncertain in their time intervals.A stochastic simulation method for time Petri nets was proposed.When a transition becomes enabled,a firing time point in the fi-ring interval of this transition is determined according to a certain random distribution,such as the uniform distribution.Based on experimental data by Petri net simulation,we presented an algorithm for constructing a state class tree of the Petri net model,and used a statistical analysis method for evaluating firing time intervals and its probabilities of transition sequences.The information obtained by the stochastic simulation is of good value for system analysis using time Petri nets.

Key words: Time Petri nets,Stochastic simulation,Fring interval,State classes,Firing probability

[1] Merlin P,Farber D J.Recoverability of communication protocols:Implication of a theoretical study[J].IEEE Trans.Commun.,1976,24(9):1036-1043
[2] Berthomieu B,Diaz M.Modeling and Verification of Time Dependent Systems Using Time Petri Nets[J].IEEE Trans.Softw.Eng.,1991,17(3):259-273
[3] Wang J,Xu G,Deng Y.Reachability analysis of real-time systems using time Petri nets[J].IEEE Transactions on Systems,Man,and Cybernetics,Part B:Cybernetics,2000,30(5):725-736
[4] Pan Li,Ding Zhi-jun,Zhou Meng-chu.A Configurable StateClass Method for Temporal Analysis of Time Petri Nets[J].IEEE Transactions on Systems,Man,and Cybernetics:Systems,2014,44(4):482-493
[5] Boucheneb H,Gardey G,Roux O H.TCTL model checking of time Petri nets[J].Journal of Logic and Computation,2009,19(6):1509-1540
[6] Berard B,Cassez F,Haddad S,et al.The expressive power oftime Petri nets[J].Theoretical Computer Science,2013,474(N/A):1-20
[7] Boel R K,Jiroveanu G.The on-line diagnosis of time Petri nets[M].Control of Discrete-Event Systems.Springer London,2013:343-364
[8] Wu N Q,Chu F,Chu C,et al.Net Modeling and Cycle-TimeAnalysis of Dual-Arm Cluster Tools With Wafer Revisiting[J].IEEE Transactions on Systems,Man,and Cybernetics:Systems,2013,43(1):196-207
[9] Du Y,Tan W,Zhou M C.Timed compatibility analysis of web service composition:A modular approach based on Petri nets[J].IEEE Transactions on Automation Science and Enginee-ring,2014,11(2):594-606
[10] Gardey G,Lime D,Magnin M.Romeo:A tool for analyzing time Petri nets[C]∥Proceedings of 17th International Conference on Computer Aided Verification.LNCS 3576,Springer Berlin Heidelberg,2005:418-423
[11] Berthomieu B,Ribet P,Vernadat F.The tool TINA-Construction of abstract state spaces for petri nets and time petri nets[J].International Journal of Production Research,2007,42(14):2741-2756
[12] Lin Chuang,Qu Yang,Li Ya-juan.Modeling,Consistency andInference of Extended Interval Temporal Logic[J].Chinese Journal of Computers,2002,25(12):1338-1347(in Chinese) 林闯,曲扬,李雅娟.扩展时段时序逻辑的模型、一致性和推理[J].计算机学报,2002,25(12):1338-1347
[13] Lei D M.Interval job shop scheduling problems[J].The International Journal of Advanced Manufacturing Technology,2012,60(1-4):291-301
[14] Sotskov Y N,Lai T C,Werner F.Measures of problem uncertainty for scheduling with interval processing times[J].OR Spectrum,2013,35(3):659-689
[15] Lei D M,Guo X P.An effective neighborhood search for scheduling in dual-resource constrained interval job shop with environmental objective[J].International Journal of Production Economics,2015,159(1):296-303
[16] Pan Li,Ding Zhi-jun,Chen Gang.A Time Petri Net Model Based on Uniform Distribution[J].Chinese Journal of Computers,2010,33(5):900-907(in Chinese) 潘理,丁志军,陈刚.基于一致分布的时间Petri网模型[J].计算机学报,2010,33(5):900-907
[17] Donald R B,Sherrill E T.Mean and variance of truncated normal distributions[J].The American Statistician,1999,53(4):357-361
[18] Jawitz J W.Moments of truncated continuous univariate distributions[J].Advances in Water Resources,2004,27(3):269-281

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!