State equations of stochastic timed petri nets with informational relations

D. A. Zaitsev and A. I. Sleptsov, “State equations and equivalent transformations of timed Petri nets,” Cybernetics and Systems Analysis, 33, No. 5, 659–672 (1997).MathSciNetMATHCrossRefGoogle Scholar

J. L. Peterson, Petri Net Theory and the Modeling of Systems [Russian translation], Mir, Moscow (1984).Google Scholar

I. V. Stetsenko, Systems Modeling: A Textbook [in Ukrainian], McLaut, Cherkassy (2011).Google Scholar

I. V. Stetsenko and A. A. Danilyuk, “Simulation modeling of control systems with Petri nets,” Visn. Cherkas. Derzh. Tekhn. Un-tu, No. 3, 293–295 (2005).Google Scholar

I. V. Stetsenko and O. V. Boyko, “Simulation modeling system based on Petri nets,” Mat. Mashiny i Sistemy, No. 1, 117–124 (2009).Google Scholar

I. V. Stetsenko, V. G. Stetsenko, and Yu. M. Difuchin, “Simulation model of the street traffic at a crossroad controlled by traffic lights,” Visn. Cherkas. Derzh. Tekhn. Un-tu, No. 1, 28–32 (2005).Google Scholar

I. V. Stetsenko, “Simulation modeling of the control system of educational processes at universities/colleges using the object-oriented approach,” Mat. Mashiny I Sistemy, No. 2, 162–170 (2011).Google Scholar

V. E. Kotov, Petri Nets [in Russian], Nauka, Moscow (1984).Google Scholar

D. A. Zaitsev, “Construction of a Petri net executing a Turing machine,” in: Proc. IVth Intern. Sci.-Techn. Conf. “Computer mathematics in science, engineering, and education (CMSEE-2010),” Poltava, Izd. NAN Ukrainy, Kiev (2010), pp. 12–14.Google Scholar

J. Wang, Timed Petri Nets: Theory and Application, Kluwer, Massachusetts (1998).MATHGoogle Scholar

P. J. Haas, Stochastic Petri Nets: Modelling, Stability, and Simulation, Springer Series in Operations Research (2002).Google Scholar

A. Law and W. Kelton, Simulation Modeling: Classics of CS [Russian translation], Piter, St. Petersburg and BHV, Kyiv (2004).Google Scholar

T. Murata, “Petri nets: Properties, analysis, and applications,” in: Proc. IEEE, 77, No. 4, 541–580 (1989).Google Scholar

D. A. Zaitsev, “Invariants of timed Petri nets,” Cybernetics and Systems Analysis, 40, No. 2, 226–237 (2004).MathSciNetMATHCrossRefGoogle Scholar

I. V. Stetsenko, “Control systems modeling using Petri nets with informational relations,” Visn. Cherkas. Derzh. Tekhn. Un-tu, No. 3, 3–9 (2011).Google Scholar