Top 82 horst petri PDF Book Page 2
Verification Based on Unfoldings of Petri Nets with Read Arcs
Rodríguez, César
·173 Pages
·2016
·2.22 MB
Petri Net Theory and Applications
Book edited by Vedran Kordic
·544 Pages
·10.283 MB
Petri-Netze: Eine anwendungsorientierte Einführung
Bernd Rosenstengel, Udo Winand (auth.)
·312 Pages
·1982
·31.82 MB
Petri-Netze: Eine anwendungsorientierte Einführung
Bernd Rosenstengel, Udo Winand (auth.)
·180 Pages
·1991
·6.641 MB
Petri Net Theory and applications
Vedran Kordic
·542 Pages
·2008
·9.681 MB
Advances in Petri Nets 1993
Ghassan Chehaibar (auth.), Grzegorz Rozenberg (eds.)
·464 Pages
·1993
·7.978 MB
Advances in Petri Nets 1991
Charles Andre (auth.), Grzegorz Rozenberg (eds.)
·580 Pages
·1991
·15.852 MB
Advances in Petri Nets 1990
Wilfried Brauer, Robert Gold, Walter Vogler (auth.), Grzegorz Rozenberg (eds.)
·520 Pages
·1991
·11.739 MB
Advances in Petri Nets 1987
C. Girault, C. Chatelain, S. Haddad (auth.), Grzegorz Rozenberg (eds.)
·457 Pages
·1987
·9.663 MB
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Roberto Gorrieri
·303 Pages
·2017
·2.69 MB
Chronologisch geordnetes Verzeichnis der Publikationen 586b (2004) bis 650 (2009) von Horst Aspöck
Gusenleitner, Fritz Josef [Friedrich]
·2009
·0.88 MB
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Yoeli, Michael; Kol, Rakefet
·250 Pages
·2008
·1.79 MB
Horst Firmanty (1993.01) Vol. 4-A Tauschliste / Tradelist
12 Pages
·1993
·42.5 MB
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach
Emilia Villani PhD, Paulo E. Miyagi, Robert Valette PhD (auth.)
·240 Pages
·2007
·2.745 MB
Horst Firmanty (1993.01) Vol. 4-C Verkaufsliste / Sale list
2 Pages
·1993
·15.2 MB
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.)
·279 Pages
·2006
·6.803 MB
Transactions on Petri Nets and Other Models of Concurrency I
Claus Brabrand (auth.), Kurt Jensen, Wil M. P. van der Aalst, Jonathan Billington (eds.)
·264 Pages
·2008
·4.967 MB
Petri Candidi Decembrii Epistolarum iuvenilium libri octo
Pier Candido Decembrio, Federico Petrucci
·515 Pages
·2013
·6.399 MB
Petri Nets: Fundamental Models, Verification and Applications
Michel Diaz
·613 Pages
·2009
·3.704 MB
Dokumente zum wissenschaftlichen Opus von Horst Aspöck für die Periode 2004 bis 2014 anlässlich seines 75. Geburtstags
Gusenleitner, Fritz Josef [Friedrich]
·2014
·0.45 MB
Ästhetik und Politik im Werk des italienischen Filmregisseurs Elio Petri
Simon Lang
·364 Pages
·2023
·5.407 MB
