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

DOI: 10.1007/978-3-642-13675-7

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

  • 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