Idioma:

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Girault, Claude ; Valk, Rüdiger

Texto completo disponível

Citações Citado por

Título:
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Autor: Girault, Claude ; Valk, Rüdiger
Assuntos: Communications Engineering, Networks ; Computation by Abstract Devices ; Computer Communication Networks ; Computer Science ; Formal methods (Computer science) ; Information technology ; IT in Business ; Logic design ; Logics and Meanings of Programs ; Software engineering ; Software Engineering/Programming and Operating Systems ; Telecommunication
Descrição: With contributions by W.van der Aalst, P. Barril, T. Basten, J.-M. Colom, A. Diagne, C. Dutheillet, W. El Kaim, J. Espeleta, B. Farwer, M.P. Gervais, S. Haddad, J.M. Ilie, F. Kordon, R. Mackenthun, D. Moldt, D. Poitrenaud, M. Silva,M.-O. Stehr, E. Teruel, I. Vernier-Mounier, M. Voorhoeve.
Editor: Berlin, Heidelberg: Springer Berlin / Heidelberg
Data de criação/publicação: 2002
Formato: 601
Idioma: Inglês

Links

Voltar para lista de resultados