Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Modular Construction and Partial Order Semantics of Petri NetsWalter VoglerSpringer Berlin Heidelberg 1992Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Las redes de Petri en la automatica y la informaticaManuel SilvaMadrid Editorial AC c1985Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (519.179.2 Si38r )(Acessar) |
|
3 |
Material Type: Livro
|
Petri net algebraEike Best 1951- Raymond Devillers; Maciej Koutny 1958-Berlin Springer New York c2001Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (519.179.2 B464p )(Acessar) |
|
4 |
Material Type: Livro
|
Petri nets fundamental models, verification and applicationsMichel Diaz 1945-London ISTE Hoboken, NJ Wiley 2009Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (519.179.2 R311I )(Acessar) |
|
5 |
Material Type: Livro
|
Concurrent object-oriented programming and Petri nets advances in Petri netsGul A Agha; Fiorella De Cindio; Grzegorz RozenbergBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2001 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Concurrency and hardware design advances in Petri netsJ Cortadella 1962- (Jordi); Alex Yakovlev; Grzegorz RozenbergBerlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2549 )(Acessar) |
|
7 |
Material Type: Livro
|
Applications and theory of Petri nets 29th international conference, PETRI NETS 2008 Xi'an China, June 23-27, 2008 : proceedingsInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (29th 2008 Xi'an Shi, China) Kees Max van Hee 1946-; R Valk (Rüdiger)Berlin Springer New York 2008Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.5062 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Petri nets and other models of concurrency ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland June 26-30, 2006 : proceedingsInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (27th 2006 Turku, Finland) Susanna Donatelli; P. S ThiagarajanBerlin Springer New York 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4024 ) e outros locais(Acessar) |