期刊论文详细信息
Acta Polytechnica | |
Modeling by Petri Nets | |
H. Kubátová1  | |
关键词: Petri nets; formal models; hardware; digital design; Field Programmable Gate Array (FPGA); PNML; VHDL; Finite State Machine (FSM); | |
DOI : | |
来源: Czech Technical University in Prague, Faculty of M | |
【 摘 要 】
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
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
RO201911300529565ZK.pdf | 269KB | download |