|
СТ |
Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs |
2000 |
Baldan P., Busi N., Corradini A., Pinna G. M. |
|
|
|
Lecture Notes in Computer Science |
15.09.2000 |
|
СТ |
Non Sequential Semantics for Contextual P/T Nets |
1996 |
Busi N., Pinna G. M. |
|
|
|
Lecture Notes in Computer Science |
01.08.1996 |
|
СТ |
Event Automata as a Generic Model of Reactive Systems |
1995 |
Pinna G. M., Poigne A. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
СТ |
On Composition of Place/Transition Nets |
1990 |
Pinna G. M. |
|
|
|
Petri Nets Newsletter |
22.06.1995 |
