Scheduling Analysis of FMS Using the Unfolding Time Petri Nets

Petri Net, Theory and Applications ◽

10.5772/5322 ◽

2008 ◽

Author(s):

Jong kun ◽

Ouajdi Korb

Keyword(s):

Time Petri Nets ◽

Scheduling Analysis

Download Full-text

A FORMAL METHOD FOR SCHEDULING ANALYSIS OF A PARTITIONED MULTIPROCESSOR SYSTEM - Dynamic Priority Time Petri Nets

Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems ◽

10.5220/0003809103170326 ◽

2012 ◽

Keyword(s):

Formal Method ◽

System Dynamic ◽

Multiprocessor System ◽

Time Petri Nets ◽

Dynamic Priority ◽

Scheduling Analysis

Download Full-text

Scheduling Analysis in FMS using the Unfolding Time Petri Nets

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)33285-8 ◽

2001 ◽

Vol 34 (17) ◽

pp. 231-236 ◽

Author(s):

Jong-Kun Lee ◽

Ouajdi Korbaa ◽

Jean-Claude Gentina

Keyword(s):

Time Petri Nets ◽

Scheduling Analysis

Download Full-text

Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets

The Journal of Supercomputing ◽

10.1007/s11227-015-1455-3 ◽

2015 ◽

Vol 71 (10) ◽

pp. 3637-3667 ◽

Author(s):

Adel Mahfoudhi ◽

Walid Karamti

Keyword(s):

Transformation Process ◽

Time Petri Nets ◽

Dynamic Priority ◽

Scheduling Analysis ◽

Download Full-text

Using dynamic priority time Petri nets for scheduling analysis via earliest deadline first policy

2012 IEEE 10th International Symposium on Parallel and Distributed Processing with Applications ◽

10.1109/ispa.2012.50 ◽

2012 ◽

Author(s):

W. Karamti ◽

A. Mahfoudhi ◽

Y. H. Kacem

Keyword(s):

Earliest Deadline First ◽

Time Petri Nets ◽

Dynamic Priority ◽

Scheduling Analysis ◽

Earliest Deadline

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

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 ◽

Author(s):

Franco Cicirelli ◽

Christian Nigro ◽

Libero Nigro

Keyword(s):

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

Time Petri Nets ◽

True Concurrency

Download Full-text