Delay Time Petri Nets and Net Reduction

Compositional Verification of Concurrent and Real-Time Systems ◽

10.1007/978-1-4615-1009-3_7 ◽

2002 ◽

pp. 143-186

Author(s):

Eric Y. T. Juan ◽

Jeffrey J. P. Tsai

Keyword(s):

Petri Nets ◽

Delay Time ◽

Time Petri Nets

Download Full-text

Delay time Petri Nets based decision model to decrease the risk of false security alarms

2018 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) ◽

10.1109/aqtr.2018.8402721 ◽

2018 ◽

Author(s):

Valentin Sita ◽

Camelia Avram ◽

Mirela Dobra ◽

Adina Astilean

Keyword(s):

Petri Nets ◽

Delay Time ◽

Decision Model ◽

Time Petri Nets

Download Full-text

Reduction methods for real-time systems using Delay Time Petri Nets

IEEE Transactions on Software Engineering ◽

10.1109/32.922714 ◽

2001 ◽

Vol 27 (5) ◽

pp. 422-448 ◽

Cited By ~ 34

Author(s):

E.Y.T. Juan ◽

J.J.P. Tsai ◽

T. Murata ◽

Yi Zhou

Keyword(s):

Petri Nets ◽

Real Time ◽

Delay Time ◽

Time Petri Nets ◽

Real Time Systems ◽

Reduction Methods ◽

Time Systems

Download Full-text

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

‘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

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