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.
Application and theory of Petri nets 1992 : 13. international conference : Sheffield, UK, June 22-26, 1992 : proceedings / K. Jensen (ed.)
| Application and theory of Petri nets 1992 : 13. international conference : Sheffield, UK, June 22-26, 1992 : proceedings / K. Jensen (ed.) |
| Autore | International conference on application and theory of Petri nets : <13. : ; 1992 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 1992 |
| Descrizione fisica | 398 p. ; 25 cm |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Reti di Petri - Congressi - 1992 |
| ISBN |
0387556761
3540556761 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10013575 |
International conference on application and theory of Petri nets : <13. : ; 1992
|
||
| Berlin [etc.], : Springer, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Coloured Petri nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen
| Coloured Petri nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen |
| Autore | Jensen, Kurt <1950- > |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 2009 |
| Descrizione fisica | XI, 384 p. ; 24 cm |
| Disciplina |
511
511.35 |
| Altri autori (Persone) | Kristensen, Lars M. |
| Soggetto topico | Reti di Petri |
| ISBN | 9783642002830 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0512993 |
|
Jensen, Kurt <1950- >
|
||
| Berlin [etc.], : Springer, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
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 <1950- > |
| Pubbl/distr/stampa | Berlin [etc.], : Springer |
| Descrizione fisica | volumi ; 25 cm |
| Disciplina |
511.3
511.35 |
| Soggetto topico | Reti di Petri |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10010486 |
|
Jensen, Kurt <1950- >
|
||
| Berlin [etc.], : Springer | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||