Advertisement

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
  4. Tool Papers

    1. Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz
      Pages 381-390
    2. Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier
      Pages 391-400
    3. Elena Gómez-Martínez, José Merseguer
      Pages 401-410
    4. R. Goud, Kees M. van Hee, R. D. J. Post, J. M. E. M. van der Werf
      Pages 411-420
    5. Jochen Stier, Jens Jahnke, Hausi Müller
      Pages 421-430
    6. Michael Westergaard, Kristian Bisgaard Lassen
      Pages 431-440
  5. Back Matter

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
  • Buy this book on publisher's site