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.
1: Teoria e analisi / G. W. Brams
| 1: Teoria e analisi / G. W. Brams |
| Autore | Brams, G. W. |
| Pubbl/distr/stampa | Milano, : Masson Italia, 1985 |
| Descrizione fisica | X, 167 p. : ill. ; 24 cm. |
| Disciplina |
511
511.35 |
| Soggetto topico | Reti di Petri |
| ISBN | 8821405826 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-CFI0021983 |
Brams, G. W.
|
||
| Milano, : Masson Italia, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
2: Modellazione e applicazioni / G. W. Brams
| 2: Modellazione e applicazioni / G. W. Brams |
| Autore | Brams, G. W. |
| Pubbl/distr/stampa | Milano, : Masson Italia, 1985 |
| Descrizione fisica | X, 138 p. : ill. ; 24 cm. |
| Disciplina |
511
511.35 |
| Soggetto topico | Reti di Petri |
| ISBN | 8821405834 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-CFI0021985 |
|
Brams, G. W.
|
||
| Milano, : Masson Italia, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
A primer in Petri net design / Wolfgang Reisig
| A primer in Petri net design / Wolfgang Reisig |
| Autore | Reisig, Wolfgang <1950- > |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1992 |
| Descrizione fisica | XII, 120 p. : ill. ; 24 cm |
| Disciplina |
005.1
005.12028 |
| Collana | Springer compass International |
| Soggetto topico |
Reti di Petri
Elaboratori elettronici - Programmazione |
| ISBN |
0387520449
3540520449 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-PUV0078119 |
|
Reisig, Wolfgang <1950- >
|
||
| Berlin [etc.], : Springer, c1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.)
| Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.) |
| Autore | International conference on applications and theory of Petri nets : <12. : ; 1991 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, c1993 |
| Descrizione fisica | 457 p. ; 24 cm. |
| Disciplina | 511.35 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Reti di Petri
Petri, reti di Modelli matematici |
| ISBN |
0387566899
3540566899 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10002791 |
|
International conference on applications and theory of Petri nets : <12. : ; 1991
|
||
| Berlin [etc.], : Springer-Verlag, c1993 | ||
| 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 | ||
| ||
Discrete, continuous, and hybrid Petri Nets / René David and Hassane Alla
| Discrete, continuous, and hybrid Petri Nets / René David and Hassane Alla |
| Autore | David, René <1939- > |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Berlin ; London, : Springer, 2010 |
| Descrizione fisica | XXII, 550 p. : ill. ; 24 cm. |
| Disciplina |
511.3
511.35 |
| Altri autori (Persone) | Alla, Hassane |
| Soggetto topico | Reti di Petri |
| ISBN | 9783642106682 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-USM1877556 |
|
David, René <1939- >
|
||
| Berlin ; London, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Discrete, continuous, and hybrid Petri nets / René David, Hassane Alla
| Discrete, continuous, and hybrid Petri nets / René David, Hassane Alla |
| Autore | David, René <1939- > |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, [2005] |
| Descrizione fisica | XXII, 524 p. ; 24 cm |
| Disciplina |
511.3
511.35 |
| Altri autori (Persone) | Alla, Hassane |
| Soggetto topico | Reti di Petri |
| ISBN | 3540224807 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0664919 |
|
David, René <1939- >
|
||
| Berlin [etc.], : Springer, [2005] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
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. ; 24 cm. |
| Disciplina |
511
511.35 |
| Collana | Manuali di informatica Masson |
| Soggetto topico | Reti di Petri |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNISANNIO-CFI0021984 |
|
Brams, G. W.
|
||
| Milano, : Masson Italia, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk
| Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk |
| Autore | Girault, Claude |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 2010 |
| Descrizione fisica | XVI, 607 p. : ill. ; 24 cm |
| Disciplina |
004.01
004.0151 |
| Altri autori (Persone) | Valk, Rüdiger |
| Soggetto topico |
Informatica - Metodi matematici
Reti di Petri |
| ISBN | 9783642074479 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0512982 |
|
Girault, Claude
|
||
| Berlin [etc.], : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
