Petri nets without tokens

被引：0

作者：

Mazurkiewicz, Antoni ^{[1
]}

机构：

[1] Polish Acad Sci, Inst Comp Sci, PL-01237 Warsaw, Poland

来源：

Petri Nets and Other Models of Concurrency - ICATPN 2007 | 2007年 / 4546卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：20 / 23

页数：4

共 50 条

[1] PETRI NETS WITH INDIVIDUAL TOKENS
REISIG, W
[J]. THEORETICAL COMPUTER SCIENCE, 1985, 41 (2-3) : 185 - 213
[2] AUTOMATING THE CONVERSION OF COLORED PETRI NETS WITH QUALITATIVE TOKENS INTO COLORED PETRI NETS WITH QUANTITATIVE TOKENS
Hlomozda, D. K.
Glybovets, M. M.
Maksymets, O. M.
[J]. CYBERNETICS AND SYSTEMS ANALYSIS, 2018, 54 (04) : 650 - 661
[3] Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
Wehler, Joachim
[J]. FUNDAMENTA INFORMATICAE, 2010, 98 (2-3) : 283 - 320
[4] Achieving Atomicity of Tokens in Time Petri Nets An Approach based on Virtual Tokens
Davidrajuh, Reggie
[J]. 2012 Sixth UKSim/AMSS European Symposium on Computer Modelling and Simulation (EMS), 2012, : 173 - 178
[5] Algebraic higher-order nets: Graphs and Petri nets as tokens
Hoffmann, K
Mossakowski, T
[J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 253 - 267
[6] Modeling of system reliability Petri nets with aging tokens
Volovoi, V
[J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2004, 84 (02) : 149 - 161
[7] Orbital Petri Nets: A Petri Net Class for Studying Orbital Motion of Tokens
Torky, Mohamed
Hassanein, A. E.
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT SYSTEMS AND INFORMATICS 2019, 2020, 1058 : 621 - 631
[8] MODULAR FUNCTIONAL-MODELING OF PETRI NETS WITH INDIVIDUAL TOKENS
BROY, M
STREICHER, T
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 609 : 70 - 88
[9] Modeling multiphased missions using stochastic Petri nets with aging tokens
Volovoi, V
[J]. ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 2004 PROCEEDINGS, 2004, : 232 - 236
[10] Influence Tokens: Analysing Adversarial Behaviour Change in Coloured Petri Nets
Carmichael, Peter
Morisset, Charles
Gross, Thomas
[J]. 6TH WORKSHOP ON SOCIO-TECHNICAL ASPECTS IN SECURITY AND TRUST (STAST 2016), 2016, : 29 - +

← 1 2 3 4 5 →