Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports different Petri net extensions but also provides some features not supported before. Automatic model construction, steady state analysis of different extensions including constant timed Petri net, run time reconstruction, learning and feature, and automatic solution search are some specific features of the proposed tool. In addition to introducing the model, its capabilities are shown through some examples.
[1] R. David and H. Alla, Discrete Continuous and Hybrid Petri Nets, New York, Springer, 2004.
[2] K. Jensen, L. M. Kristensen and L. Wells, "Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems," International Journal of Software Tools Technology Transfer, vol. 9, pp. 213–254, 2007.
[3] V. Gehlot and A. Hayrapetyan, "Systems Modeling and Analysis Using Colored Petri Nets: a Tutorial Introduction and Practical Applications," in Proc. of the 45th Annual Southeast Regional Conference, March 2007, pp. 514.
[4] B. Hrúz and M. C. Zhou, Modeling and Control of Discrete-event Dynamical Systems: with Petri Nets and Other Tools, 1st Edition, London, Springer, 2007
[5] P.J. Haas, "Stochastic Petri Nets for Modelling and Simulation", in Proc. of the 36th Conference on Winter Simulation, Washington, DC, USA, December 2004, pp. 101-112.
[6] Y. Su, J. Qiu, G. Liu, Y. Xu and Y. Qian, "Method of Testability Index Determination Based on Generalized Stochastic Petri Net," 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis, Chengdu, 2009, pp. 1-4.
[7] L. Li, W. Zeng, Z. Hong, L. Zhou, "Stochastic Petri Net-based Performance Evaluation of Hybrid Traffic for Social Networks System", Neurocomputing, vol. 204, pp. 3-7, Sep. 2016.
[8] H. Sabaghian-Bidgoli, S. A. Shahabi and Z. Navabi, "A Novel Modeling Approach for System-Level Application Mapping Targeted for Configurable Architecture," in Canadian Journal of Electrical and Computer Engineering, vol. 37, no. 4, pp. 192-202, December 2014.
[9] N. Wu, F. Chu, C. Chu and M. Zhou, "Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting," in IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol. 43, no. 1, pp. 196-207, Jan. 2013.
[10] G. F. List and M. Cetin, "Modeling traffic signal control using Petri nets," in IEEE Transactions on Intelligent Transportation Systems, vol. 5, no. 3, pp. 177-187, Sept. 2004.
[11] http://people.ee.duke.edu/~kst/chirel/MANUAL/manual.pdf, Accessed in April 2017.
[12] R. Sahner, K. S. Trivedi and A. Puliafito, "Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software," in IEEE Transactions on Reliability, vol. 46, no. 3, pp. 441-441, Sept. 1997.
[13] https://sharpe.pratt.duke.edu/, Accessed in April 2017.
[14] N. J. Dingle , W. J. Knottenbelt and T. Suto, "PIPE2: A Tool for the Performance Evaluation of Generalised Stochastic Petri Nets," ACM SIGMETRICS Performance Evaluation Review, vol. 36(4), pp. 34-39, March 2009
[15] W. J. Thong and M. A. Ameedeen, "A Survey of Petri Net Tools," in Advanced Computer and Communication Engineering Technology, vol. 315, pp. 537-551, Jan. 2015.
[16] https://github.com/hsabaghianb/KU_PN_Tool/blob/master/KU_PN_Tool_v1.72.zip, Uploaded in October 2019.
[17] G. Bolch, S. Greiner, H. De-Meer and K. S. Trivedi, Queueing Networks and Markov Chains, second edition, New Jersey, John Wiley & Sons, 2006.
[18] رئیسی ورزنه، مصطفی، "مدل‌سازی رقابت بر سر کانال‌های ارتباطی با استفاده از شبکه پتری با هدف ارزیابی دقیقتر کارایی نگاشت‌های مختلف یک کاربرد"، پایان نامه کارشناسی ارشد، دانشگاه کاشان، دیماه 1397
[19] قدیری‌فرد، زهرا، "ارائه روشی مبتنی بر شبکه پتری برای زمانبندی اجرای وظایف با هدف افزایش کارایی نگاشت کاربرد در سیستم‌های نهفته‌ی چند هسته‌ای"، پایان نامه کارشناسی ارشد، دانشگاه کاشان، شهریور 1398
Sabaghian-Bidgoli, H. (2021). A Petri-net based modeling tool, for analysis and evaluation of computer systems. Soft Computing Journal, 7(1), 2-23. doi: 10.22052/7.1.2
MLA
Hossein Sabaghian-Bidgoli. "A Petri-net based modeling tool, for analysis and evaluation of computer systems", Soft Computing Journal, 7, 1, 2021, 2-23. doi: 10.22052/7.1.2
HARVARD
Sabaghian-Bidgoli, H. (2021). 'A Petri-net based modeling tool, for analysis and evaluation of computer systems', Soft Computing Journal, 7(1), pp. 2-23. doi: 10.22052/7.1.2
VANCOUVER
Sabaghian-Bidgoli, H. A Petri-net based modeling tool, for analysis and evaluation of computer systems. Soft Computing Journal, 2021; 7(1): 2-23. doi: 10.22052/7.1.2
)
