Modeling by Petri Nets

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.

Keywords

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