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

  • Susanna Donatelli
  • P. S. Thiagarajan
Conference proceedings ICATPN 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4024)

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Full Papers

    1. Baver Acu, Wolfgang Reisig
      Pages 65-83
    2. Nicolas Baudru, Rémi Morin
      Pages 84-104
    3. Roberto Bruni, Hernán Melgratti
      Pages 105-124
    4. Sami Evangelista, Jean-François Pradat-Peyre
      Pages 146-165
    5. Andreas Glausch, Wolfgang Reisig
      Pages 201-220
    6. Serge Haddad, Lynda Mokdad, Patrice Moreaux
      Pages 221-240
    7. Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
      Pages 241-260
    8. Meuse N. O. Junior, Silvino Neto, Paulo Maciel, Ricardo Lima, Angelo Ribeiro, Raimundo Barreto et al.
      Pages 261-281
    9. H. C. M. Kleijn, M. Koutny
      Pages 282-301
    10. Robert Lorenz, Gabriel Juhás
      Pages 302-321
    11. Stephan Roch, Karsten Schmidt
      Pages 342-361

About these proceedings

Keywords

Monitor Petri nets Unified Modeling Language (UML) bounded Petri nets calculus complexity concurrent systems distributed systems embedded systems formal methods modeling petri net software development stochastic Petri nets system modeling

Editors and affiliations

  • Susanna Donatelli
    • 1
  • P. S. Thiagarajan
    • 2
  1. 1.Dipartimento di InformaticaUniversità di TorinoTorinoItaly
  2. 2.School of ComputingNational University of Singapore 

Bibliographic information

  • DOI https://doi.org/10.1007/11767589
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34699-9
  • Online ISBN 978-3-540-34700-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book