Applications and Theory of Petri Nets

31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings

  • Johan Lilius
  • Wojciech Penczek
Conference proceedings PETRI NETS 2010
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6128)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Gabriel Juhás, Igor Kazlov, Ana Juhásová
      Pages 1-17
    2. David Harel
      Pages 18-18
    3. Jetty Kleijn, Maciej Koutny
      Pages 19-38
  3. Full Papers

    1. Antti Valmari, Henri Hansen
      Pages 43-62
    2. Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske
      Pages 63-83
    3. Yunhe Wang, Li Jiao
      Pages 84-103
    4. Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci
      Pages 145-164
    5. Fernando Rosa-Velardo, David de Frutos-Escrig
      Pages 185-205
    6. Javier Esparza, Martin Leucker, Maximilian Schlund
      Pages 206-225
    7. Marc Solé, Josep Carmona
      Pages 226-245
    8. Eike Best, Philippe Darondeau
      Pages 246-266
    9. Olivia Oanea, Harro Wimmel, Karsten Wolf
      Pages 267-286
  4. Tool Papers

    1. Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
      Pages 287-296
    2. Niels Lohmann, Daniela Weinberg
      Pages 297-307
    3. Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew Miner
      Pages 308-317

About these proceedings

Keywords

Factor algorithms behavioral programming colored petri nets data structures deadlocks distributed systems modeling modeling language petri nets process mining programming real-time systems state space verification

Editors and affiliations

  • Johan Lilius
    • 1
  • Wojciech Penczek
    • 2
  1. 1.Department of Information TechnologiesÅbo Akademi UniversityTurkuFinland
  2. 2.Institute of Computer SciencePolish Academy of SciencesWarsawPoland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-13675-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-13674-0
  • Online ISBN 978-3-642-13675-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349