Modeling by Petri Nets

Acta Polytechnica

关键词: Petri nets;    formal models;    hardware;    digital design;    Field Programmable Gate Array (FPGA);    PNML;    VHDL;    Finite State Machine (FSM);   

DOI  :  

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown