|
СТ |
On Liveness in Extended Non Self-Controlling Nets |
1995 |
Barkaoui K., Couvreur J. M., Dutheillet C. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
|
СТ |
New Structural Invariants for Petri Nets Analysis |
1994 |
Couvreur J. M., Paviot-Adet E. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
Generative Families of Positive Invariants in Coloured Nets Sub-Classes |
1993 |
Couvreur J. M., Haddad S., Peyre J. F. |
|
|
|
Lecture Notes in Computer Science |
26.06.1993 |
|
СТ |
A New Technique for Finding a Generating Family of Siphons, Traps and st-components. Application to Colored Petri Nets |
1993 |
Ezpeleta J., Couvreur J. M., Silva M. |
|
|
|
Lecture Notes in Computer Science |
26.06.1993 |
