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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
CTU Central Library
2005-01-01
|
| Series: | Acta Polytechnica |
| Subjects: | |
| Online Access: | https://ojs.cvut.cz/ojs/index.php/ap/article/view/676 |
| id |
doaj-a84532f656a44a449effe73b17e25adc |
|---|---|
| record_format |
Article |
| spelling |
doaj-a84532f656a44a449effe73b17e25adc2020-11-24T22:43:57ZengCTU Central LibraryActa Polytechnica1210-27091805-23632005-01-01452676Modeling by Petri NetsH. Kubátová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.https://ojs.cvut.cz/ojs/index.php/ap/article/view/676Petri netsformal modelshardwaredigital designField Programmable Gate Array (FPGA)PNMLVHDLFinite State Machine (FSM) |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
H. Kubátová |
| spellingShingle |
H. Kubátová Modeling by Petri Nets Acta Polytechnica Petri nets formal models hardware digital design Field Programmable Gate Array (FPGA) PNML VHDL Finite State Machine (FSM) |
| author_facet |
H. Kubátová |
| author_sort |
H. Kubátová |
| title |
Modeling by Petri Nets |
| title_short |
Modeling by Petri Nets |
| title_full |
Modeling by Petri Nets |
| title_fullStr |
Modeling by Petri Nets |
| title_full_unstemmed |
Modeling by Petri Nets |
| title_sort |
modeling by petri nets |
| publisher |
CTU Central Library |
| series |
Acta Polytechnica |
| issn |
1210-2709 1805-2363 |
| publishDate |
2005-01-01 |
| description |
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. |
| topic |
Petri nets formal models hardware digital design Field Programmable Gate Array (FPGA) PNML VHDL Finite State Machine (FSM) |
| url |
https://ojs.cvut.cz/ojs/index.php/ap/article/view/676 |
| work_keys_str_mv |
AT hkubatova modelingbypetrinets |
| _version_ |
1725693707524505600 |