Computing a Finite Prefix of a Time Petri Net

Application and Theory of Petri Nets 2002 - Lecture Notes in Computer Science ◽

10.1007/3-540-48068-4_11 ◽

2002 ◽

pp. 163-181 ◽

Author(s):

Hans Fleischhack ◽

Christian Stehno

Keyword(s):

Petri Net ◽

Download Full-text

A Time Petri Net Model Based on Uniform Distribution

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2010.00900 ◽

2010 ◽

Vol 33 (5) ◽

pp. 900-907 ◽

Author(s):

Li PAN ◽

Zhi-Jun DING ◽

Gang CHEN

Keyword(s):

Uniform Distribution ◽

Petri Net ◽

Model Based ◽

Download Full-text

Time Petri net with rendezvous

2017 4th International Conference on Control, Decision and Information Technologies (CoDIT) ◽

10.1109/codit.2017.8102578 ◽

2017 ◽

Author(s):

Abdia Hamdani ◽

Abdelkrim Abdelli

Keyword(s):

Petri Net ◽

Download Full-text

Sneak timing analysis based on time Petri net in power system

2009 4th IEEE Conference on Industrial Electronics and Applications ◽

10.1109/iciea.2009.5138295 ◽

2009 ◽

Author(s):

Ping Xu ◽

Qishuang Ma

Keyword(s):

Power System ◽

Petri Net ◽

Timing Analysis ◽

Download Full-text

The performance analysis of field communication protocol by time Petri net

Proceedings of the 3rd World Congress on Intelligent Control and Automation (Cat. No.00EX393) ◽

10.1109/wcica.2000.862990 ◽

2002 ◽

Author(s):

Li Xu ◽

Fei MinRui

Keyword(s):

Performance Analysis ◽

Petri Net ◽

Communication Protocol ◽

Download Full-text

Modeling Internet Host Reliability using Higher-Order Time Petri Net

International Journal of Computer Applications ◽

10.5120/14421-2549 ◽

2013 ◽

Vol 83 (2) ◽

pp. 24-28

Author(s):

Ali M.Meligy ◽

Hani M. Ibrahim ◽

Amal M. Aqlan

Keyword(s):

Petri Net ◽

Higher Order ◽

Download Full-text

Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs

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

10.1007/978-3-540-85778-5_19 ◽

2008 ◽

pp. 265-279 ◽

Author(s):

Hanifa Boucheneb ◽

Kamel Barkaoui

Keyword(s):

Petri Net ◽

Download Full-text

Process Mining and Simulation for a p-Time Petri Net Model with Hybrid Resources

10.1109/sieds52267.2021.9483768 ◽

2021 ◽

Author(s):

Felipe Nedopetalski ◽

Joslaine Cristina Jeske de Freitas

Keyword(s):

Petri Net ◽

Process Mining ◽

Download Full-text

Translating Time Petri Net Structures in Ada 95 Statements

Reliable Software Technologies — Ada-Europe’ 99 - Lecture Notes in Computer Science ◽

10.1007/3-540-48753-0_14 ◽

1999 ◽

pp. 158-169

Author(s):

F. J. García ◽

J. L. Villarroel

Keyword(s):

Petri Net ◽

Time Petri Net ◽

Download Full-text

Some Remarks on “State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions”

IEEE Transactions on Automatic Control ◽

10.1109/tac.2019.2910168 ◽

2019 ◽

Vol 64 (12) ◽

pp. 5253-5259 ◽

Author(s):

Zhou He ◽

Zhiwu Li ◽

Alessandro Giua ◽

Francesco Basile ◽

Carla Seatzu

Keyword(s):

Fault Diagnosis ◽

State Estimation ◽

Petri Net ◽

Download Full-text

Modeling and Analysis of Fault Detection Based on Time Petri Net

2010 International Conference on Computational Intelligence and Software Engineering ◽

10.1109/cise.2010.5676860 ◽

2010 ◽

Author(s):

Yongbing Wan ◽

Zhongwei Xu ◽

Gang Yu ◽

Meng Mei

Keyword(s):

Fault Detection ◽

Petri Net ◽

Modeling And Analysis ◽

Download Full-text