skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Application and theory of Petri nets 1997 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings

International conference on application and theory of Petri nets (18 1997 Toulouse, France) Pierre Azéma; Gianfranco Balbo

Berlin Springer New York Heidelberg 1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1248 ) e outros locais(Acessar)

  • Título:
    Application and theory of Petri nets 1997 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings
  • Autor: International conference on application and theory of Petri nets (18 1997 Toulouse, France)
  • Pierre Azéma; Gianfranco Balbo
  • Assuntos: Petri nets -- Congresses; Machine Theory -- Congresses; ARQUITETURAS PARALELAS (CONGRESSOS); PROGRAMAÇÃO PARALELA (CONGRESSOS); REDES DE PETRI (CONGRESSOS); ARQUITETURA E ORGANIZAÇÃO DE COMPUTADORES
  • Notas: Contient des références bibliographiques. Index
  • Descrição: Model checking LTL using constraint programming / J. Esparza, S. Melzer -- On the composition of timed systems / J. Sifakis -- Some issues about petri net application to manufacturing and process supervisory control / R. Valette -- On theabstraction of coloured petri nets / C. Lakos -- Life-cycle inheritance : a petri-net-based approach / W.M.P. van der Aalst, T. Basten -- Multi-agent-systems based on coloured petri nets / D. Moldt, F. Wienberg -- On the complexity of thelinear-time mu-calculus for petri nets / P. Habermehl -- Improved implementations via a new structural equivalence on labelled nets / W. Fraçzak, E. Pelz -- Time processes for time petri nets / T. Aura, J. Lilius -- Timed petri nets and temporallinear logic / M. Tanabe -- Efficient handling of phase-type distributions in generalized stochastic petri nets / S. Haddad, P. Moreaux, G. Chiola -- Petri's axioms of concurrency : a selection of recent results / O. Kummer, M.-O. Stehr --Analysis of petri nets with a dynamic priority method
  • Títulos relacionados: Série:Lecture notes in computer science 1248
  • Editor: Berlin Springer New York Heidelberg
  • Data de criação/publicação: 1997
  • Formato: viii, 466 p. ill. 24 cm.
  • Idioma: Francês;Inglês
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.