@InProceedings{pnse19-1,
  title =        {Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining},
  pages =        {11--12},
  author =       {Mendling, Jan},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-2,
  title =        {{Petri} Nets in Multi-Paradigm Modelling},
  pages =        {13--16},
  author =       {Vangheluwe, Hans},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-3,
  title =        {An Asynchronous Game on Distributed {Petri} Nets},
  pages =        {17--36},
  author =       {Adobbati, Federica and Bernardinello, Luca and Pomello, Lucia},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-4,
  title =        {Towards Extensible Structural Analysis of {Petri} Net Product Lines},
  pages =        {37--46},
  author =       {Gómez-Martínez, Elena and de Lara, Juan and Guerra, Esther},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-5,
  title =        {Solving {E} ($ \phi $ {U} $ \psi $) using the {CEGAR} Approach},
  pages =        {47--56},
  author =       {Liebke, Torsten and Wolf, Karsten},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-6,
  title =        {On {CTL} Model Checking of the {MQTT IoT} Protocol using the {Sweep-Line Method}},
  pages =        {57--72},
  author =       {Rodríguez, Alejandro and Kristensen, Lars Michael and Rutle, Adrian},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-7,
  title =        {{PNRD} and {iPNRD} Integration Assisting Adaptive Control in a Block World Domain},
  pages =        {73--92},
  author =       {Tavares, José Jean-Paul Zanlucchi de Souza and Souza, Gabriel De Almeida},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-8,
  title =        {{Domain Name System (DNS)} Tunneling Detection using {Structured Occurrence Nets (SONs)}},
  pages =        {93--108},
  author =       {Alharbi, Talal and Koutny, Maciej},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-9,
  title =        {{Petri} Meta-Compiler - a Recursive Approach to System Design and Development},
  pages =        {109--126},
  author =       {Chrząstowski-Wachtel, Piotr and Doleżek, Michał and Greipner, Paweł and Wójcicki, Tomasz},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-10,
  title =        {A {Petri} Net Table Model Applied to Classic and Agile Project Management},
  pages =        {127--142},
  author =       {Weichenhain, Maxi and Fengler, Wolfgang},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-11,
  title =        {Modelling Hybrid Cyber Kill Chain},
  pages =        {143--162},
  author =       {Zeng, Wen and Germanos, Vasileios},
  year =         2019,
  crossref =     {|PNSE19}
}
@InProceedings{pnse19-12,
  title =        {Simulating {Place/Transition Nets} by a Distributed, Web Based, Stateless Service},
  pages =        {163--164},
  author =       {Röwekamp, Jan Henrik and Feldmann, Matthias and Moldt, Daniel and Simon, Michael},
  year =         2019,
  crossref =     {|PNSE19}
}

@InProceedings{pnse19-13,
  title =        {A First Prototype for the Visualization of the Reachability Graph of Reference Nets},
  pages =        {165--166},
  author =       {Simon, Michael and Moldt, Daniel and Engelhardt, Henri and Willrodt, Sven},
  year =         2019,
  crossref =     {|PNSE19}
}


@Proceedings{|PNSE19,
  title =        {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'19, Aachen, Germany, June 24, 2019.
                  Proceedings},
  booktitle =    {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'19, Aachen, Germany, June 24, 2019.
                  Proceedings},
  year =         2019,
  editor =       {Moldt, Daniel and Kindler, Ekkart and Wimmer, Manuel},
  series =       {{CEUR} Workshop Proceedings},
  publisher =    {CEUR-WS.org},
  volume = {2424},
  url =          {http://CEUR-WS.org/Vol-2424}
}
