Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Applications and theory of Petri nets : selected papers from the first and the second european workshop on application and theory of Petri nets, Strasbourg, 23-26, september 1980, Bad Honnef, 28-30, september 1981 / edited by Claude Girault, Wolfgang Reisig
| Applications and theory of Petri nets : selected papers from the first and the second european workshop on application and theory of Petri nets, Strasbourg, 23-26, september 1980, Bad Honnef, 28-30, september 1981 / edited by Claude Girault, Wolfgang Reisig |
| Autore | European workshop on application and theory of Petri Nets : <1. ; : 1980 |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, 1982 |
| Descrizione fisica | 337 p. : ill. ; 25 cm |
| Disciplina | 629.89 |
| Collana | Informatik-Fachberichte |
| Soggetto non controllato | Reti di Petri |
| ISBN | 3-540-11189-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000495710403321 |
| European workshop on application and theory of Petri Nets : <1. ; : 1980 | ||
| Berlin ; Heidelberg : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications and theory of Petri nets : selected papers from the 3rd European workshop on applications and theory of Petri Nets, Varenna, Italy, september 27-30, 1982 (under auspices of AFCET, AICA, GI and EATCS) / edited by Anastasia Pagnoni, Grzegorz Rozenberg
| Applications and theory of Petri nets : selected papers from the 3rd European workshop on applications and theory of Petri Nets, Varenna, Italy, september 27-30, 1982 (under auspices of AFCET, AICA, GI and EATCS) / edited by Anastasia Pagnoni, Grzegorz Rozenberg |
| Autore | European workshop on applications and theory of Petri Nets : <3. ; : 1982 |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, 1983 |
| Descrizione fisica | 315 p. : ill. ; 24 cm |
| Disciplina | 629.89 |
| Collana | Informatik-fachberichte |
| Soggetto non controllato | Reti di Petri |
| ISBN | 3-540-12309-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000495690403321 |
European workshop on applications and theory of Petri Nets : <3. ; : 1982
|
||
| Berlin ; Heidelberg : Springer-Verlag, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automazione industriale : Automazione industriale $e controllo logico con reti di Petri / Luca Ferrarini
| Automazione industriale : Automazione industriale $e controllo logico con reti di Petri / Luca Ferrarini |
| Autore | Ferrarini, Luca |
| Pubbl/distr/stampa | Bologna : Pitagora, 2001 |
| Descrizione fisica | 1 v. (paginazione varia) ; 24 cm |
| Disciplina | 629.89 |
| Soggetto non controllato | Reti di Petri |
| ISBN | 88-371-1296-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ira |
| Record Nr. | UNINA-990008243660403321 |
|
Ferrarini, Luca
|
||
| Bologna : Pitagora, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coloured petri nets : basic concepts, analysis methods and practical use / Kurt Jensen
| Coloured petri nets : basic concepts, analysis methods and practical use / Kurt Jensen |
| Autore | Jensen, Kurt |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Berlin ... [etc.] : Springer, ©1996-1997 |
| Descrizione fisica | 3 v. : ill. ; 24 cm |
| Disciplina | 629.89 |
| Collana | Monographs in theoretical computer science |
| Soggetto non controllato | Reti di Petri |
| ISBN |
3-540-60943-1
3-540-58276-2 3-540-62867-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000526640403321 |
|
Jensen, Kurt
|
||
| Berlin ... [etc.] : Springer, ©1996-1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Esercizi di controllo logico con reti di Petri / Luca Ferrarini, Luigi Piroddi
| Esercizi di controllo logico con reti di Petri / Luca Ferrarini, Luigi Piroddi |
| Autore | Ferrarini, Luca |
| Pubbl/distr/stampa | Bologna : Pitagora, 2002 |
| Descrizione fisica | 1 v. (paginazione varia) ; 24 cm |
| Disciplina | 629.89 |
| Altri autori (Persone) | Piroddi, Luigi |
| Soggetto non controllato | Reti di Petri |
| ISBN | 88-371-1340-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990008243650403321 |
|
Ferrarini, Luca
|
||
| Bologna : Pitagora, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Le Reti di Petri : teoria e pratica / G. W. Brams ; presentazione di Alberto Bertoni ; traduzione di Daniele Pieragostini
| Le Reti di Petri : teoria e pratica / G. W. Brams ; presentazione di Alberto Bertoni ; traduzione di Daniele Pieragostini |
| Autore | Brams, G. W. |
| Pubbl/distr/stampa | Milano : Masson Italia, 1985 |
| Descrizione fisica | 2 v. : ill. ; 24 cm |
| Disciplina | 629.89 |
| Collana | Manuali di informatica Masson |
| Soggetto non controllato | Reti di Petri |
| ISBN | 88-214-0583-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Nota di contenuto | 1. v.: Teoria e analisi; 2. v.: Modellazione e applicazioni |
| Record Nr. | UNINA-990000469590403321 |
|
Brams, G. W.
|
||
| Milano : Masson Italia, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Petri net technology for communication-based systems : advances in Petri nets / Hartmut Ehrig ... [et al.] (Eds.)
| Petri net technology for communication-based systems : advances in Petri nets / Hartmut Ehrig ... [et al.] (Eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
| Descrizione fisica | VIII, 454 p. : ill. ; 24 cm. |
| Disciplina | 004.6 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Reti di Petri |
| ISBN | 3-540-20538-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001888940203316 |
| Berlin [etc.] : Springer, copyr. 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Petri nets : an introduction / Wolfgang Reisig
| Petri nets : an introduction / Wolfgang Reisig |
| Autore | Reisig, Wolfgang |
| Pubbl/distr/stampa | Berlin ; heidelberg : Springer-Verlag, ©1985 |
| Descrizione fisica | 161 p. : ill. ; 25 cm |
| Disciplina | 629.89 |
| Collana | EATCS monographs on theoretical computer science |
| Soggetto non controllato | Reti di Petri |
| ISBN | 3-540-13723-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000468630403321 |
| Reisig, Wolfgang | ||
| Berlin ; heidelberg : Springer-Verlag, ©1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
