skip to main content
Visitante
Meu Espaço
Minha Conta
Sair
Identificação
This feature requires javascript
Tags
Revistas Eletrônicas (eJournals)
Livros Eletrônicos (eBooks)
Bases de Dados
Bibliotecas USP
Ajuda
Ajuda
Idioma:
Inglês
Espanhol
Português
This feature required javascript
This feature requires javascript
Primo Search
Busca Geral
Busca Geral
Acervo Físico
Acervo Físico
Produção Intelectual da USP
Produção USP
Search For:
Clear Search Box
Search in:
Acervo Físico
Or hit Enter to replace search target
Or select another collection:
Search in:
Acervo Físico
Busca Avançada
Busca por Índices
This feature requires javascript
This feature requires javascript
Advances in Petri nets, 1989
Grzegorz Rozenberg
Berlin New York Springer-Verlag c1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.424 e.1 )
e outros locais
(Acessar)
This feature requires javascript
Localização & Reservas
Detalhes
Resenhas & Tags
Solicitações
Mais Opções
Prateleira Virtual
This feature requires javascript
Enviar para
Adicionar ao Meu Espaço
Remover do Meu Espaço
E-mail (máximo 30 registros por vez)
Imprimir
Link permanente
Referência
EasyBib
EndNote
RefWorks
del.icio.us
Exportar RIS
Exportar BibTeX
This feature requires javascript
Título:
Advances in Petri nets, 1989
Autor:
Grzegorz Rozenberg
Assuntos:
Petri nets -- Congresses
;
Machine theory -- Congresses
;
COMPUTABILIDADE E COMPLEXIDADE
;
SISTEMAS OPERACIONAIS
;
ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES
;
REDES DE PETRI
;
SOFTWARES
;
COLETÂNEA
Notas:
Includes bibliographical references
Descrição:
Stochastic Petri nets : an elementary introduction / M. Ajmone Marsan -- Improving the efficiency of the analysis of DSPN models / M. Ajmone Marsan, G. Chiola, and A. Fumagalli -- Synchronized elementary net systems / C. André-- Descriptive and analytical process algebras / L.A. Cherkasova, V.E. Kotov -- P/T-systems as abstractions of C/E-systems / J. Desel, A. Merceron -- The semantics of capacities in P/T nets / R. Devillers -- Petri net tool overview 1989 / F. Feldbrugge -- Equivalence transformations of PrT-nets / H.J. Genrich -- A reduction theory for coloured nets / S. Haddad -- Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets / C. Hanen -- S-Cort[superscript R] : a method for the development of electronic payment systems / Th. Hildebrand, N. Trèves -- Timed Petri nets and application to multi-stage production systems / H.P. Hillion -- Petri net systems and their closure properties / A. Kiehn Occam and the transputer / D. May, R. Shepherd -- About the concurrent behaviour of EN systems : definability and closure results / E. Pelz -- Petri nets and flexible manufacturing / M. Silva, R. Valette -- Some properties of timed nets under the earliest firing rule / P.H. Starke -- A comparative study of different techniques for semi-flows computation in place-transition nets / N. Treves -- Elementary net systems and dynamic logic / H. Tuominen --Representation of a swapping class by one net / W. Vogler -- DEMON :
design methods based on nets / E. Best -- CEDISYS : compositional distributed systems / U. Montanari
Títulos relacionados:
Série:Lecture notes in computer science 424
Editor:
Berlin New York Springer-Verlag
Data de criação/publicação:
c1990
Formato:
vi, 524 p. ill. 24 cm.
Idioma:
Inglês
Links
Este item no Dedalus
This feature requires javascript
This feature requires javascript
Voltar para lista de resultados
Anterior
Resultado
9
Avançar
This feature requires javascript
This feature requires javascript
Buscando em bases de dados remotas. Favor aguardar.
Buscando por
em
scope:(USP_FISICO)
Mostrar o que foi encontrado até o momento
This feature requires javascript
This feature requires javascript