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):

Partial Order ◽

Time Petri Nets

Download Full-text

Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets

Applications and Theory of Petri Nets 2001 - Lecture Notes in Computer Science ◽

10.1007/3-540-45740-2_19 ◽

2001 ◽

pp. 323-342 ◽

Author(s):

Wojciech Penczek ◽

Agata Półrola

Keyword(s):

Partial Order ◽

Time Petri Nets

Download Full-text

Preserving Partial Order Runs in Parametric Time Petri Nets

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.20 ◽

2015 ◽

Author(s):

Etienne Andre ◽

Thomas Chatain ◽

Cesar Rodriguez

Keyword(s):

Partial Order ◽

Time Petri Nets

Download Full-text

A partial order method for the verification of time Petri nets

Fundamentals of Computation Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-48321-7_46 ◽

1999 ◽

pp. 547-558 ◽

Author(s):

I. Virbitskaite ◽

E. Pokozy

Keyword(s):

Partial Order ◽

Time Petri Nets ◽

Download Full-text

Preserving Partial-Order Runs in Parametric Time Petri Nets

ACM Transactions on Embedded Computing Systems ◽

10.1145/3012283 ◽

2017 ◽

Vol 16 (2) ◽

pp. 1-26 ◽

Author(s):

Étienne André ◽

Thomas Chatain ◽

César Rodríguez

Keyword(s):

Partial Order ◽

Time Petri Nets

Download Full-text

Model Checking of Time Petri Nets Based on Partial Order Semantics

CONCUR’99 Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-48320-9_16 ◽

1999 ◽

pp. 210-225 ◽

Author(s):

Burkhard Bieber ◽

Hans Fleischhack

Keyword(s):

Model Checking ◽

Partial Order ◽

Time Petri Nets ◽

Partial Order Semantics

Download Full-text

Delay-Dependent Partial Order Reduction Technique for Time Petri Nets

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-319-10512-3_5 ◽

2014 ◽

pp. 53-68 ◽

Author(s):

Hanifa Boucheneb ◽

Kamel Barkaoui ◽

Karim Weslati

Keyword(s):

Partial Order ◽

Order Reduction ◽

Reduction Technique ◽

Partial Order Reduction ◽

Time Petri Nets ◽

Delay Dependent

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):

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):

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):

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 ◽

Author(s):

Chaitanya Belwal ◽

Albert M. K. Cheng ◽

Yuanfeng Wen

Keyword(s):

Schedulability Analysis ◽

Time Petri Nets

Download Full-text