В разделе "Проектирование аппаратного обеспечения и сети Петри" представлена краткая информация о современном уровне применения сетей Петри для проектирования цифровых систем и схем. Область проектирования аппаратного обеспечения традиционно является плодородной почвой для исследований в области параллелизма и сетей Петри. Многие новые идеи о моделировании и анализе параллельных систем, и в частности сетей Петри, возникли в теории асинхронных цифровых схем. Аналогичным образом, теория и...