Mapping RT-LOTOS Specifications into Time Petri Nets

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/11901433_20 ◽

2006 ◽

pp. 360-379

Author(s):

Tarek Sadani ◽

Marc Boyer ◽

Pierre de Saqui-Sannes ◽

Jean-Pierre Courtiat

Keyword(s):

Petri Nets ◽

Time Petri Nets

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

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