INTRODUCTION TO NUMERICAL PETRI NETS, A GENERAL GRAPHICAL MODEL OF CONCURRENT PROCESSING SYSTEMS

被引：0

|

作者：

SYMONS, FJW

机构：

来源：

AUSTRALIAN TELECOMMUNICATION RESEARCH | 1980年 / 14卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TN [电子技术、通信技术];

学科分类号：

0809 ;

摘要：

引用

收藏

页码：28 / 33

页数：6

相关论文

共 50 条

[21] Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
Jensen K.
Kristensen L.M.
Wells L.
International Journal on Software Tools for Technology Transfer, 2007, 9 (3-4) : 213 - 254
[22] CONCURRENT MODELING AND SIMULATION OF REACTIVE MANUFACTURING SYSTEMS USING PETRI NETS
BENARIEH, D
MIRON, I
COMPUTERS & INDUSTRIAL ENGINEERING, 1991, 20 (01) : 45 - 58
[23] Equivalence notions applied to designing concurrent systems with the use of Petri nets
Tarasyuk, IV
PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (04) : 162 - 175
[24] Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs
Wisniewski, Remigiusz
Karatkevich, Andrei
Adamski, Marian
Costa, Aniko
Gomes, Luis
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2018, 26 (02) : 575 - 586
[25] Embedding operations of Petri nets and use for hierarchical establishment in concurrent systems
Kong Zhi Li Lun Yu Ying Yong, 4 (551-557):
[26] DESCRIPTION AND DEFINITION OF QUEUING-SYSTEMS BY NUMERICAL PETRI NETS
SYMONS, FJW
AUSTRALIAN TELECOMMUNICATION RESEARCH, 1980, 13 (02): : 20 - 31
[27] DESCRIPTION AND DEFINITION OF QUEUEING SYSTEMS BY NUMERICAL PETRI NETS.
Symons, Fred J.W.
ATR, Australian Telecommunication Research, 1980, 13 (02): : 20 - 31
[28] Integrating Petri nets with design methods for concurrent and real-time systems
Pettit, RG
Gomaa, H
SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 168 - 171
[29] Time supervision of concurrent systems using symbolic unfoldings of time Petri nets
Chatain, T
Jard, C
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 196 - 210
[30] Model of stochastic systems and their connections on the Petri nets basis
Kachur, Svetlana A.
2002, Begell House Inc. (34)

← 1 2 3 4 5 →