Opening book details…
Can I read Applications And Theory Of Petri Nets 2004: 25th International Conference, Icatpn 2004, Bologna, Italy, June 21-25, 2004, Proceedings (lecture Notes In Computer Science) on EtoBox?
Applications And Theory Of Petri Nets 2004: 25th International Conference, Icatpn 2004, Bologna, Italy, June 21-25, 2004, Proceedings (lecture Notes In Computer Science) by Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.) is a nonfiction available to read on EtoBox.
What is Applications And Theory Of Petri Nets 2004: 25th International Conference, Icatpn 2004, Bologna, Italy, June 21-25, 2004, Proceedings (lecture Notes In Computer Science) about?
This book constitutes the refereed proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN 2004, held in Bologna, Italy in June 2004. The 19 revised full regular papers and 5 revised tool presentation papers presented together with 6 invited papers were carefully reviewed and selected from 62 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, modular systems development, formal specification, model validation, model checking, workflow management, flow charts, networking, formal methods in software engineering, etc.
Who reads Applications And Theory Of Petri Nets 2004: 25th International Conference, Icatpn 2004, Bologna, Italy, June 21-25, 2004, Proceedings (lecture Notes In Computer Science)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2004
- Language
- EN
- ISBN
- 9783540226666
- Category
- nonfiction
- Subjects
- Mathematics, Engineering, Education
More by Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)
Browse all works by Nadia Busi, Roberto Gorrieri (auth.), Jordi Cortadella, Wolfgang Reisig (eds.)
Similar books
- Applications and theory of Petri nets : 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings — Gustavo Alonso (auth.), Kees M. van Hee, Rüdiger Valk (2008)
- Application And Theory Of Petri Nets And Concurrency: 34th International Conference, Petri Nets 2013, Milan, Italy, June 24-28, 2013, Proceedings (lecture Notes In Computer Science) — Kees van Hee, Natalia Sidorova (auth.), José-Manuel Colom, Jörg Desel (2013)
- Application And Theory Of Petri Nets 2000: 21st International Conference, Icatpn 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings (lecture Notes In Computer Science) — Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev (auth.), Mogens Nielsen, Dan Simpson (2000)
- Application and Theory of Petri Nets : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings — Tony Hoare (auth.), Serge Haddad, Lucia Pomello (2012)
- Applications And Theory Of Petri Nets: 31st International Conference, Petri Nets 2010, Braga, Portugal, June 21-25, 2010, Proceedings (lecture Notes In Computer Science) — Gabriel Juhás, Igor Kazlov, Ana Juhásová (auth.), Johan Lilius, Wojciech Penczek (2010)
- Petri nets and other models of concurrency : ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 ; proceedings — Samson Abramsky (auth.), Jetty Kleijn, Alex Yakovlev (2007)