Modeling by Petri Nets
DOI:
https://doi.org/10.14311/676Keywords:
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.