@InProceedings{pnse16-1,
  title =        {Model-Driven Development of Mobile Applications: Towards Context-Aware Apps of High Quality},
  pages =        {17--29},
  author =       {Taentzer, Gabriele and Vaupel, Steffen},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-2,
  title =        {Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology},
  pages =        {30--32},
  author =       {Thierry-Mieg, Yann},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-3,
  title =        {Time in Structured Occurrence Nets},
  pages =        {35--55},
  author =       {Bhattacharyya, Anirban and Li, Bowen and Randell, Brian},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-4,
  title =        {Formal Modelling and Analysis of Distributed Storage Systems},
  pages =        {56--75},
  author =       {Jordan {de~la}~Houssaye and Pommereau, Franck and Deniel, Philippe},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-5,
  title =        {Introducing Refactoring for Reference Nets},
  pages =        {76--92},
  author =       {Friedrich, Max and Moldt, Daniel},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-6,
  title =        {Verification of Nested {Petri} Nets Using an Unfolding Approach},
  pages =        {93--112},
  author =       {Lomazova, Irina A. and Ermakova, Vera O.},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-7,
  title =        {Practical Use of Coloured {Petri} Nets for the Design and Performance Assessment of Distributed Automation Architectures},
  pages =        {113--131},
  author =       {Ndiaye, Moulaye and P{\'e}tin, Jean-Fran{\c{c}}ois and Georges, Jean-Philippe and Camerini, Jacques},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-8,
  title =        {Kleene Theorem for Labelled Free Choice Nets without Distributed Choice},
  pages =        {132--152},
  author =       {Phawade, Ramchandra},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-9,
  title =        {Distributed Change Region Detection in Dynamic Evolution of Fragmented Processes},
  pages =        {153--172},
  author =       {Pradhan, Ahana and Joshi, Rushikesh K.},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-10,
  title =        {Extending {Renew}'s Algorithms for Distributed Simulation},
  pages =        {173--192},
  author =       {Simon, Michael and Moldt, Daniel},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-11,
  title =        {Model-based Development for {MAC} Protocols in Industrial Wireless Sensor Networks},
  pages =        {193--212},
  author =       {Kumar~Somappa, Admar Ajith and Simonsen, Kent Inge Fagerland},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-12,
  title =        {Stubborn Set Intuition Explained},
  pages =        {213--232},
  author =       {Valmari, Antti and Hansen, Henri},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-13,
  title =        {Decomposed Replay Using Hiding and Reduction},
  pages =        {233--252},
  author =       {Verbeek, Henricus M. W.},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-14,
  title =        {Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm},
  pages =        {255--274},
  author =       {Coti, Camille and Lakos, Charles and Petrucci, Laure},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-15,
  title =        {Refining the Quick Fix for the {Petri} Net Modeling Tool {Renew}},
  pages =        {275--286},
  author =       {Hicken, Jan and Haustermann, Michael and Moldt, Daniel},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-16,
  title =        {Layered Data: a Modular Formal Definition without Formalisms},
  pages =        {287--306},
  author =       {Linard, Alban and Barbot, Beno{\^i}t and Buchs, Didier and Colange, Maximilien and D{\'e}moulins, Cl{\'e}ment and Hillah, Lom Messan and Martin, Alexis},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-17,
  title =        {From {eHornets} to Hybrid Agent and Workflow Systems},
  pages =        {307--326},
  author =       {Wagner, Thomas and Moldt, Daniel and K{\"o}hler-Bu{\ss}meier, Michael},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-18,
  title =        {A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and {Petri}-Net-based Verification},
  pages =        {329--334},
  author =       {Le, Khanh and Bui, Thang and Quan, Tho and Petrucci, Laure},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-19,
  title =        {{CSCB} Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using {Petri} Nets},
  pages =        {335--340},
  author =       {Miyamoto, Toshiyuki},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-20,
  title =        {Case Studies of the {Renew} Meta-Modeling and Transformation Framework},
  pages =        {343--344},
  author =       {Mosteller, David and Haustermann, Michael},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-21,
  title =        {Analysis of the Signal Transduction Dynamics Regulating mTOR with Mathematical Modeling, {Petri} Nets and Dynamic Graphs},
  pages =        {347--361},
  author =       {Hardy, Simon V. and Pag{\'e}~Fortin, Mathieu},
  year =         2016,
  crossref =     {|PNSE16}
}

@InProceedings{pnse16-22,
  title =        {Discrete-Time Leap Method for Stochastic Simulation},
  pages =        {362--376},
  author =       {Rohr, Christian},
  year =         2016,
  crossref =     {|PNSE16}
}

  @Proceedings{|PNSE16,
  title =        {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'16, Toru\'n, Poland, June 20-21, 2016.
                  Proceedings},
  booktitle =    {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'16, Toru\'n, Poland, June 20-21, 2016.
                  Proceedings},
  year =         2016,
  editor =       {Cabac, Lawrence and Kristensen, Lars Michael and R{\"o}lke, Heiko},
  volume =       1591,
  series =       {CEUR Workshop Proceedings},
  ISSN =         {1613-0074},
  publisher =    {CEUR-WS.org},
  url =          {http://CEUR-WS.org/Vol-1591/},
  urn =          {urn:nbn:de:0074-1591-5}
}
