Modeling by Petri Nets

Authors

  • H. Kubátová

DOI:

https://doi.org/10.14311/676

Keywords:

Petri nets, formal models, hardware, digital design, Field Programmable Gate Array (FPGA), PNML, VHDL, Finite State Machine (FSM)

Abstract

One specific model of a digital system in different types of Petri nets is presented. The formal definitions of the basic (black-and-white) Petri net, a place/transition net (P/T net), an arc-constant coloured Petri net (ac-CPN) and a coloured Petri net (CPN) are presented and explained on the basis of this example. Real models of dining philosophers, a producer-consumer system and railway tracks are described.

Downloads

Download data is not yet available.

Author Biography

  • H. Kubátová

Downloads

Published

2005-01-02

Issue

Vol. 45 No. 2 (2005)

Section

Articles

How to Cite

Kubátová, H. (2005). Modeling by Petri Nets. Acta Polytechnica, 45(2). https://doi.org/10.14311/676