| Publication | Date of Publication | Type |
|---|
Adaptive supervisory control for a class of Petri nets with bimodal transitions
Information Sciences | 2023-11-01 | Paper |
On liveness in extended non self-controlling nets
Lecture Notes in Computer Science | 2022-08-16 | Paper |
An unreliable single server retrial queue with collisions and transmission errors
Communications in Statistics: Theory and Methods | 2022-05-30 | Paper |
Time based deadlock prevention for Petri nets
Automatica | 2022-01-31 | Paper |
\(M/M/1\) retrial queue with collisions and transmission errors
Methodology and Computing in Applied Probability | 2020-05-04 | Paper |
Formal verification of complex business processes based on high-level Petri nets
Information Sciences | 2020-02-06 | Paper |
A survey of siphons in Petri nets
Information Sciences | 2019-12-13 | Paper |
On liveness and controlled siphons in Petri nets
Application and Theory of Petri Nets 1996 | 2019-05-02 | Paper |
| On persistency in time Petri nets | 2018-12-06 | Paper |
Delay-dependent partial order reduction technique for real time systems
Real-Time Systems | 2018-06-28 | Paper |
On the enforcement of a class of nonlinear constraints on Petri nets
Automatica | 2018-01-12 | Paper |
Partial order reduction for checking soundness of time workflow nets
Information Sciences | 2017-02-07 | Paper |
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
Information Sciences | 2015-09-25 | Paper |
Delay-Dependent Partial Order Reduction Technique for Time Petri Nets
Lecture Notes in Computer Science | 2015-08-06 | Paper |
Necessary and sufficient liveness condition of GS3PR Petri nets
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2015-06-03 | Paper |
Covering steps graphs of time Petri nets
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
Asian Journal of Control | 2015-03-10 | Paper |
Robustness of deadlock control for a class of Petri nets with unreliable resources
Information Sciences | 2014-04-16 | Paper |
On structural analysis of interacting behavioral Petri nets for distributed causal model-based diagnosis
International Journal of Foundations of Computer Science | 2013-06-06 | Paper |
Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs
Discrete Event Dynamic Systems | 2011-05-30 | Paper |
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs
Lecture Notes in Computer Science | 2008-12-02 | Paper |
Applications and Theory of Petri Nets 2005
Lecture Notes in Computer Science | 2005-12-14 | Paper |
On concurrency control in multidatabase systems with an extended transaction model
The Journal of Supercomputing | 2003-07-01 | Paper |
Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
Discrete Applied Mathematics | 1990-01-01 | Paper |
Composantes préconservatives minimales d'un réseau de Petri : étude structurelle
RAIRO - Operations Research | 1987-01-01 | Paper |
