3.4. Программное обеспечение ЭВМ

В дополнение к аппаратному обеспечению ЭВМ сетями Петри можно моделировать и программное обеспечение. Чаще всего сети Петри используются именно для этого, и здесь они имеют наиболь-

шие возможности для практического применения. В течение длительного времени разрабатывались системы для описания и моделирования аппаратного обеспечения ЭВМ, но только в последние годы такие попытки предприняты для формального моделирования программного обеспечения ЭВМ. Большинство этих усилий связано с анализом, спецификацией и описанием последовательных программ; системы параллельных процессов до сих пор остаются важной исследовательской проблемой. В этом разделе мы покажем, как сети Петри могут моделировать различные системы параллельных взаимодействующих процессов.