Abstract

Efficient verification of a class of time Petri nets using linear programming

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Uma abordagem intervalar para a caracterização de intervalos de disparo em redes de Petri temporais
Evangivaldo A Lima ... Luis Allan Künzle
Journal of Control, Automation and Electrical Systems | VOL. 19
Evangivaldo A Lima, et. al.Evangivaldo A Lima ... Luis Allan Künzle
01 Dec 2008
Petri Net Modeling Method to Scheduling Problem of Holonic Manufacturing System (HMS) and Its Solution with a Hybrid PSO Algorithm
Fuqing Zhao ... Yahong Yang
-
Fuqing Zhao, et. al.Fuqing Zhao ... Yahong Yang
01 Jan 2006
State‐Feedback Control for a Class of Timed Petri Nets Subject to Marking Constraints
Karima Tebani ... Redouane Kara
Asian Journal of Control | VOL. 21
Karima Tebani, et. al.Karima Tebani ... Redouane Kara
19 Apr 2018
Interval Analysis of Time Petri Nets
Evangivaldo A Lima ... Luis Allan Kunzle
-
Evangivaldo A Lima, et. al.Evangivaldo A Lima ... Luis Allan Kunzle
01 Oct 2006
View more papers

More From: Information Processing Letters

Paper Title
Journal
Date
Author
Hamiltonian cycles of balanced hypercube with disjoint faulty edges
Ting Lan ... Huazhong Lü
Information Processing Letters | VOL. 187
Ting Lan, et. al.Ting Lan ... Huazhong Lü
20 Jun 2024
Improving compressed matrix multiplication using control variate method
Bhisham Dev Verma ... Manoj Thakur
Information Processing Letters | VOL. 187
Bhisham Dev Verma, et. al.Bhisham Dev Verma ... Manoj Thakur
12 Jun 2024
Leveraging parameterized Chernoff bounds for simplified algorithm analyses
Michael Dillencourt ... Michael Mitzenmacher
Information Processing Letters | VOL. 187
Michael Dillencourt, et. al.Michael Dillencourt ... Michael Mitzenmacher
12 Jun 2024
A note on the k-restriction problem
Jing-You Lin ... Shi-Chun Tsai
Information Processing Letters | VOL. 187
Jing-You Lin, et. al.Jing-You Lin ... Shi-Chun Tsai
03 Jun 2024
View more papers