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 Advanced Search
Busca Geral
Busca Geral
Acervo Físico
Acervo Físico
Produção Intelectual da USP
Produção USP
Primo Advanced Search Query Term
Input search text:
Show Results with:
criteria input
Qualquer
Show Results with:
Qualquer
Primo Advanced Search prefilters
Tipo de material:
criteria input
Todos os itens
Acervo Físico
Busca Simples
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
View record in Pascal Francis
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