1. G-Nets: A petri net based approach for logical and timing analysis of complex software systems
2. A. Sorokin, J. Software products and systems 1, 79–82 (2011).
3. H. Xu and S. M. Shatz, “An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce”, in Proc. of the IEEE 5th Int. Symp. on Autonomous Decentralized Systems (IEEE, 2001), 11–8.
4. D. F. Fitch and H. Xu, “A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage”, in Proc. of the 24th Int. Conf. on Software Engineering and Knowledge Engineering (KSI Research Inc San Francisco Bay, 2012), 333–339.
5. O. Ja. Kravets, A. P. Preobrazhenskiy, A. V. Kochegarov, O. N. Choporov and V.E. Bolnokin, International Journal on Information Technologies and Security 4(10), 45–56 (2018).