Petri nets for systems engineering: a guide to modeling, verification, and applications
Auteur :
Girault, Claude / Valk, Rüdiger
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783642074479
Date de publication :
15 déc. 2010
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Allemagne
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