|
СТ |
On Liveness and Controlled Siphons in Petri Nets |
1996 |
Barkaoui K., Pradat-Peyre J. -F. |
|
|
|
Lecture Notes in Computer Science |
01.08.1996 |
|
СТ |
Polynomial Time Proof or Disproof of Commoner s Structural Property in Petri Nets |
1988 |
Minoux M., Barkaoui K. |
|
|
|
Application and Theory of Petri Nets |
08.07.1995 |
|
СТ |
On Liveness in Extended Non Self-Controlling Nets |
1995 |
Barkaoui K., Couvreur J. M., Dutheillet C. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
|
СТ |
An Effecient Algorithm for Finding Structural Deadlocks in Colored Petri Nets |
1993 |
Barkaoui K., Dutheillet C., Haddad S. |
|
|
|
Lecture Notes in Computer Science |
21.08.1993 |
|
СТ |
A Polinomial-time Graph Algorithm to Decide Liveness of some Basic Classes of Bounded Petri Nets |
1992 |
Barkaoui K., Minoux M. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
