Top 172 kirsi tirri petri nokelainen auth kirsi tirri petri nokelainen eds PDF Book Page 2
An Introduction to Petri nets and how to analyse them - ULB
341 Pages
·2007
·3.67 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
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
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
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 Net Theory and applications
Vedran Kordic
·542 Pages
·2008
·9.681 MB
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Roberto Gorrieri
·303 Pages
·2017
·2.69 MB
Concurrency and Hardware Design: Advances in Petri Nets
Igor Benko, Jo Ebergen (auth.), Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg (eds.)
·355 Pages
·2002
·4.815 MB
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Yoeli, Michael; Kol, Rakefet
·250 Pages
·2008
·1.79 MB
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
ZhiWu Li, MengChu Zhou (auth.)
·250 Pages
·2009
·1.531 MB
Stochastic Petri Nets: An Introduction to the Theory
Falko Bause, Pieter S. Kritzinger (auth.)
·241 Pages
·1996
·5.457 MB
Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
Ralph-Johan Back (auth.), Susanna Donatelli, P. S. Thiagarajan (eds.)
·450 Pages
·2006
·5.833 MB
Application and Theory of Petri Nets and Concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings
Gianfranco Ciardo, Ekkart Kindler (eds.)
·406 Pages
·2014
·8.772 MB
Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Fabrice Kordon, Daniel Moldt (eds.)
·349 Pages
·2016
·15.669 MB
Transactions on Petri nets and other models of concurrency IV
Jörg Desel (auth.), Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.)
·238 Pages
·2010
·4.092 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
Transactions on Petri Nets and Other Models of Concurrency VIII
Paolo Baldan, Nicoletta Cocco (auth.), Maciej Koutny, Wil M. P. van der Aalst, Alex Yakovlev (eds.)
·216 Pages
·2013
·5.14 MB
Transactions on Petri Nets and Other Models of Concurrency III
Nick C. Russell, Wil M. P. van der Aalst (auth.), Kurt Jensen, Jonathan Billington, Maciej Koutny (eds.)
·288 Pages
·2009
·3.436 MB
Ästhetik und Politik im Werk des italienischen Filmregisseurs Elio Petri
Simon Lang
·364 Pages
·2023
·5.407 MB
NASA Technical Reports Server (NTRS) 19960027450: Simulation in a dynamic prototyping environment: Petri nets or rules?
NASA Technical Reports Server (NTRS)
·10 Pages
·0.67 MB
Application and Theory of Petri Nets and Concurrency
Victor Khomenko, Olivier H. Roux
·428 Pages
·2018
·17.977 MB
Petri Nets for Modeling of Large Discrete Systems
Reggie Davidrajuh
·45.316 MB
