МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Файл статьи: Сорокин Д.А..pdf (479.95Кб)

1.     Billington J., Kindler T., Christensen S., Kummer O., Petrucci L., Post R., Weber M. The Petri Net Markup Language: Concepts, Technology, and Tools // Lecture Notes in Computer Science. 2003. Vol. 2679. P. 483-505. DOI: 10.1007/3-540-44919-1_31.

2.     Стеценко И. В. Алгоритм имитации Петри‑объектной модели // Математические машины и системы. 2012. № 1. С. 154-165.

3.     Kavi K. M., Moshtaghi A. R., Deng-Jyi C. Modeling Multithreaded Applications Using Petri Nets // International Journal of Parallel Programming. 2002. Vol. 30. Issue 5. P. 353-371. DOI: 10.1023/A:1019917329895.

4.     Пащенкова А. В. Метод формализации программного обеспечения иерархическими сетями Петри // Молодежный научно-технический вестник. МГТУ им. Н.Э. Баумана. Электрон. журн. 2013. № 6. Режим доступа: http://sntbul.bmstu.ru/doc/577675.html (дата обращения 25.11.2014).

5.     University of Hamburg. Petri Nets Tools Database Quick  Overview. Режим доступа: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html (дата обращения 27.11.2014).