For the most recent entries see the
Petri Nets Newsletter.
Trigila, S.
-
Bolognesi, T.;
Lucidi, F.;
Trigila, S.:
From Timed Petri Nets to timed LOTOS.
1990.
-
D'Anna, M.;
Trigila, S.:
Concurrent System Analysis Using Petri Nets: an Optimized Algorithm for Finding Net Invariants.
1988.
-
Pattavina, A.;
Trigila, S.:
Combined Use of Finite-State Machines and Petri Nets for Modelling Communicating Processes.
1984.
-
Pattavina, A.;
Trigila, S.:
PETCOM: Uno Strumento Software per l'Analysi di Reti di Petri Orientate ai Protocolli di Comunicazione.
1983.
-
Pattavina, A.;
Trigila, S.:
Sulla Rappresentatione dei Protocolli di Comunicazione: Un Algoritmo di Trasformazione di Macchine a Stati Finiti in Reti di Petri.
1982.
-
Accarino, N.;
Rossi, C.;
Trigila, S.:
Description and Validation of Communication Protocols by Petri Nets.
1981.
-
Accarino, N.;
Rossi, C.;
Trigila, S.:
Descrizione e Validazione di Protocolli di Communicazione Mediante le Reti di Petri.
1980.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography