Modeling by Petri Nets

Modeling by Petri Nets

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...

Full description

Bibliographic Details
Main Author: H. Kubátová
Format: Article
Language:English
Published: CTU Central Library 2005-01-01
Series:Acta Polytechnica
Subjects:
Petri nets
formal models
hardware
digital design
Field Programmable Gate Array (FPGA)
PNML
VHDL
Finite State Machine (FSM)
Online Access:https://ojs.cvut.cz/ojs/index.php/ap/article/view/676

Internet

https://ojs.cvut.cz/ojs/index.php/ap/article/view/676

Similar Items