ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
‘True Concurrency’ Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies
Programming and Computer Software
◽
10.1134/s0361768821050078
◽
2021
◽
Vol 47
(5)
◽
pp. 389-401
Author(s):
I. B. Virbitskaite
◽
A. Yu. Zubarev
Keyword(s):
Petri Nets
◽
Time Petri Nets
◽
True Concurrency
Download Full-text
Related Documents
Cited By
References
Study on event correlation detecting mechanism based on time Petri nets
Journal of Computer Applications
◽
10.3724/sp.j.1087.2008.01313
◽
2008
◽
Vol 28
(5)
◽
pp. 1313-1315
Author(s):
Hai CAO
Keyword(s):
Petri Nets
◽
Time Petri Nets
◽
Event Correlation
Download Full-text
IdentifyTPN: a tool for the identification of Time Petri nets
IFAC-PapersOnLine
◽
10.1016/j.ifacol.2017.08.542
◽
2017
◽
Vol 50
(1)
◽
pp. 5843-5848
Author(s):
F. Basile
◽
P. Chiacchio
◽
J. Coppola
Keyword(s):
Petri Nets
◽
Time Petri Nets
Download Full-text
Modeling of safe time Petri nets by interval weighted automata
IFAC-PapersOnLine
◽
10.1016/j.ifacol.2021.04.018
◽
2020
◽
Vol 53
(4)
◽
pp. 187-192
Author(s):
Jan Komenda
◽
Aiwen Lai
◽
José Godoy Soto
◽
Sébastien Lahaye
◽
Jean-louis Boimond
Keyword(s):
Petri Nets
◽
Time Petri Nets
◽
Weighted Automata
Download Full-text
Time petri nets for schedulability analysis of the transactional event handlers of P-FRP
Proceedings of the 2012 ACM Research in Applied Computation Symposium on - RACS '12
◽
10.1145/2401603.2401661
◽
2012
◽
Cited By ~ 1
Author(s):
Chaitanya Belwal
◽
Albert M. K. Cheng
◽
Yuanfeng Wen
Keyword(s):
Petri Nets
◽
Schedulability Analysis
◽
Time Petri Nets
Download Full-text
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems
◽
10.15439/2015f69
◽
2015
◽
Cited By ~ 2
Author(s):
Franco Cicirelli
◽
Christian Nigro
◽
Libero Nigro
Keyword(s):
Petri Nets
◽
Quantitative Evaluation
◽
Time Petri Nets
◽
Qualitative And Quantitative
◽
Stochastic Time
Download Full-text
Towards Efficient Partial Order Techniques for Time Petri Nets
Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems
◽
10.1007/978-3-030-65955-4_8
◽
2020
◽
pp. 100-115
Author(s):
Kuangze Wang
◽
Hanifa Boucheneb
◽
Kamel Barkaoui
◽
Zhiwu Li
Keyword(s):
Petri Nets
◽
Partial Order
◽
Time Petri Nets
Download Full-text
Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets
2017 9th IEEE-GCC Conference and Exhibition (GCCCE)
◽
10.1109/ieeegcc.2017.8448053
◽
2017
◽
Cited By ~ 1
Author(s):
Anam Amjad
◽
Farooque Azam
◽
Muhammad Waseem Anwar
◽
Wasi Haider Butt
Keyword(s):
Petri Nets
◽
Timed Automata
◽
Time Petri Nets
◽
Process Chain
◽
Event Driven
Download Full-text
The Development of Complex Data Structures Using Object Enhanced Time Petri Nets
2018 22nd International Conference on System Theory, Control and Computing (ICSTCC)
◽
10.1109/icstcc.2018.8540778
◽
2018
◽
Author(s):
Dahlia Al- Janabia
◽
Tiberiu S. Letia
Keyword(s):
Petri Nets
◽
Data Structures
◽
Complex Data
◽
Time Petri Nets
Download Full-text
A Configurable State Class Method for Temporal Analysis of Time Petri Nets
IEEE Transactions on Systems Man and Cybernetics Systems
◽
10.1109/tsmc.2013.2258907
◽
2014
◽
Vol 44
(4)
◽
pp. 482-493
◽
Cited By ~ 22
Author(s):
Li Pan
◽
Zhi Jun Ding
◽
Meng Chu Zhou
Keyword(s):
Petri Nets
◽
Temporal Analysis
◽
Time Petri Nets
Download Full-text
“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets
Programming and Computer Software
◽
10.1134/s0361768816040071
◽
2016
◽
Vol 42
(4)
◽
pp. 187-197
◽
Cited By ~ 1
Author(s):
I. B. Virbitskaite
◽
V. A. Borovlev
◽
L. Popova-Zeugmann
Keyword(s):
Petri Nets
◽
Discrete Time
◽
Time Petri Nets
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close