Applicazione e teoria delle reti di Petri 1997

Questo libro costituisce gli atti della 18a Conferenza internazionale sull'applicazione e la teoria delle reti di Petri, ICATPN'97, tenutasi a Tolosa, in Francia, nel giugno 1997. I 22 documenti completi revisionati presentati nel volume sono stati selezionati da un totale di 61 contributi; sono inclusi anche tre contributi invitati. Vengono affrontati tutti gli argomenti rilevanti nella zona. Oltre a una varietà di classi di reti di Petri, tra gli argomenti affrontati figurano la gestione del flusso di lavoro, le reti di telecomunicazioni, la soddisfazione dei vincoli, la semantica dei programmi, la concorrenza e la logica temporale.