@InProceedings{pnse12-1,
  title =	 {What Should we Teach About {Petri} Nets?},
  pages =	 {11-11},
  author =	 {Wolfgang Reisig},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-2,
  title =	 {Using Integer Time Steps for Checking Branching Time
                  Properties of Time {Petri} Nets},
  pages =	 {15-31},
  author =	 {Janowska, Agata and Penczek, Wojciech and
                  P{\'o}{\l}rola, Agata and Zbrzezny, Andrzej},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-3,
  title =	 {{Grade/CPN}: Semi-automatic Support for Teaching {Petri}
                  Nets by Checking Many {Petri} Nets Against One
                  Specification},
  pages =	 {32-46},
  author =	 {Westergaard, Michael and Fahland, Dirk and
                  Stahl, Christian},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-4,
  title =	 {When Can We Trust a Third Party? -- A Soundness
                  Perspective},
  pages =	 {47-59},
  author =	 {van Hee, Kees and Sidorova, Natalia and
                  van der Werf, Jan Martijn},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-5,
  title =	 {Modeling and Analyzing Wireless Sensor Networks with
                  {VeriSensor}},
  pages =	 {60-76},
  author =	 {Ben Maissa, Yann and Kordon, Fabrice and Mouline, Salma
                  and Thierry-Mieg, Yann},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-6,
  title =	 {{SMT}-based parameter synthesis for {L/U} automata},
  pages =	 {77-92},
  author =	 {Knapik, Micha{\l} and Penczek, Wojciech},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-7,
  title =	 {Model-Driven Middleware Support for Team-Oriented Process
                  Management},
  pages =	 {93-108},
  author =	 {Wester-Ebbinghaus, Matthias and
                  K{\"o}hler-Bu{\ss}meier, Michael},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-8,
  title =	 {From Code to Coloured {Petri} Nets: Modelling Guidelines},
  pages =	 {109-124},
  author =	 {Dedova, Anna and Petrucci, Laure},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-9,
  title =	 {Hierarchy of persistency with respect to the length of
                  actions disability},
  pages =	 {125-137},
  author =	 {Barylska, Kamila Agata and Ochma{\'n}ski, Edward},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-10,
  title =	 {Local State Refinement on Elementary Net Systems: an
                  Approach Based on Morphisms},
  pages =	 {138-152},
  author =	 {Bernardinello, Luca and Mangioni, Elisabetta and
                  Pomello, Lucia},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-11,
  title =	 {Context {Petri} Nets: Enabling Consistent Composition of
                  Context-dependent Behavior},
  pages =	 {155-169},
  author =	 {Cardozo, Nicol{\'a}s and Vallejos, Jorge and
                  Gonz{\'a}lez, Sebasti{\'a}n and Mens, Kim and
                  D'Hondt, Theo},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-12,
  title =	 {{MuPSi} -- A Multitouch {Petri} Net Simulator for
                  Transition Steps},
  pages =	 {170-180},
  author =	 {Irgang, Thomas and Harrer, Andreas and Bergenthum, Robin},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-13,
  title =	 {{PetriPad} -- A Collaborative {Petri} Net Editor},
  pages =	 {181-195},
  author =	 {Burkhart, Julian and Haustermann, Michael},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-14,
  title =	 {Agentworkflows for Flexible Workflow Execution},
  pages =	 {199-214},
  author =	 {Wagner, Thomas},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-15,
  title =	 {Cloud Transition: Integrating Cloud Calls into Workflow
                  {Petri} Nets},
  pages =	 {215-216},
  author =	 {Bendoukha, Sofiane and Wagner, Thomas},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-16,
  title =	 {A Concurrent Simulator for {Petri} Nets Based on the
                  Paradigm of Actors of Hewitt},
  pages =	 {217-221},
  author =	 {Bernardinello, Luca and Bianchi, Francesco Adalberto},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-17,
  title =	 {A {Petri} Net Approach to Synthesize Intelligible State
                  Machine Models from Choreography},
  pages =	 {222-236},
  author =	 {Miyamoto, Toshiyuki and Hasegawa, Yasuwo},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-18,
  title =	 {{SYNOPS} - Generation of Partial Languages and Synthesis
                  of {Petri} Nets},
  pages =	 {237-252},
  author =	 {Lorenz, Robert and Huber, Markus and Etzel, Christoph and
                  Zecha, Dan},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-19,
  title =	 {Modeling and Simulation-Based Design Using
                  Object-Oriented {Petri} Nets: A Case Study},
  pages =	 {253-266},
  author =	 {Radek Ko{\u c}{\'\i} and Vladim{\'\i}r Janou{\u s}ek},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-20,
  title =	 {Porting the {Renew} {Petri} Net Simulator to the
                  Operating System {Android}},
  pages =	 {267-268},
  author =	 {Dominic Dibbern},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@InProceedings{pnse12-21,
  title =	 {{SonarEditor}: A Tool for Multi-Agent-Organizations
                  Modelling},
  pages =	 {269-270},
  author =	 {Jan Bolte},
  year =	 2012,
  crossref =	 {|PNSE12}
}

@Proceedings{|PNSE12,
  title =	 {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'12, Hamburg, Germany, June 25-26, 2012.
                  Proceedings},
  booktitle =	 {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'12, Hamburg, Germany, June 25-26, 2012.
                  Proceedings},
  year =	 2012,
  editor =	 {Cabac, Lawrence and Duvigneau, Michael and Moldt, Daniel},
  volume =	 851,
  series =	 {CEUR Workshop Proceedings},
  ISSN =	 {1613-0074},
  publisher =	 {CEUR-WS.org},
  url =		 {http://CEUR-WS.org/Vol-851},
  urn =		 {urn:nbn:de:0074-851-7}
}
