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 1992 : 13th internatioanl conference, Sheffield, UK, June 1992 : proceedings / K. Jensen (ed.)
| Applications and theory of Petri nets 1992 : 13th internatioanl conference, Sheffield, UK, June 1992 : proceedings / K. Jensen (ed.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 1992 |
| Descrizione fisica | 398 p. : ill. ; 25 cm |
| Disciplina | 5115 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato |
congressi - sheffield - 1992
reticoli di petri - congressi - 1992 |
| ISBN | 3-540-55676-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000203400203316 |
| Berlin [etc.] : Springer-Verlag, copyr. 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency I [Risorsa elettronica] / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Kurt Jensen, Wil M. P. Aalst, Jonathan Billington
| Transactions on Petri Nets and Other Models of Concurrency I [Risorsa elettronica] / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Kurt Jensen, Wil M. P. Aalst, Jonathan Billington |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783540892878 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009258210403321 |
| Berlin ; Heidelberg : Springer, 2008 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency II [Risorsa elettronica] : Special Issue on Concurrency in Process-Aware Information Systems / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Kurt Jensen, Wil M. P. Aalst
| Transactions on Petri Nets and Other Models of Concurrency II [Risorsa elettronica] : Special Issue on Concurrency in Process-Aware Information Systems / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Kurt Jensen, Wil M. P. Aalst |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642008993 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009259780403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Petri Nets and Other Models of Concurrency III [Risorsa elettronica] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny
| Transactions on Petri Nets and Other Models of Concurrency III [Risorsa elettronica] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642048562 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009262930403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||