Modeling by Petri Nets

被引：0

作者：

Kubatova, H. ^{[1
]}

机构：

[1] Czech Tech Univ, Fac Elect Engn, Dept Comp Sci & Engn, Karlovo Nam 13, Prague 12135, Czech Republic

来源：

ACTA POLYTECHNICA | 2005年 / 45卷 / 02期

关键词：

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

D O I：

暂无

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

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.

引用

页码：5 / 13

页数：9

共 50 条

[1] Modeling of railway nets with colored Petri nets
Paliulis, E
Pranevicius, H
[J]. TRANSPORT MEANS 2004: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE, 2004, : 39 - 43
[2] Petri nets modeling applications
Choudhury, DR
Chordiya, N
[J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I, 2003, : 87 - 92
[3] Modeling petri nets in express
He, YB
Goh, A
Hui, SC
[J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 853 - 857
[4] Animation modeling with Petri Nets
Magalhäes, LP
Raposo, AB
Ricarte, ILM
[J]. COMPUTERS & GRAPHICS-UK, 1998, 22 (06): : 735 - 743
[5] Modeling of Uncertainty with Petri Nets
Kucharik, Michal
Balogh, Zoltan
[J]. INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2019, PT I, 2019, 11431 : 499 - 509
[6] Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets
Bergenthum, Robin
Folz-Weinstein, Sabine
Kovar, Jakub
[J]. APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, PETRI NETS 2023, 2023, 13929 : 286 - 306
[7] FROM PETRI NETS TO COLORED PETRI NETS: A TUTORIAL INTRODUCTION TO NETS BASED FORMALISM FOR MODELING AND SIMULATION
Gehlot, Vijay
[J]. 2019 WINTER SIMULATION CONFERENCE (WSC), 2019, : 1519 - 1533
[8] MODELING ARCHITECTURAL FEATURES WITH PETRI NETS
BAER, JL
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 255 : 258 - 277
[9] Modeling of economic systems with Petri nets
Skorodumov, P. V.
[J]. ECONOMIC AND SOCIAL CHANGES-FACTS TRENDS FORECAST, 2014, 34 (04) : 253 - 259
[10] Modeling Cyberattacks with Extended Petri Nets
Petty, Mikel D.
Whitaker, Tymaine S.
Bearss, E. Michael
Bland, John A.
Cantrell, Walter Alan
Colvett, C. Daniel
Maxwell, Katia P.
[J]. ACMSE 2022: PROCEEDINGS OF THE 2022 ACM SOUTHEAST CONFERENCE, 2022, : 67 - 73

← 1 2 3 4 5 →