@InProceedings{pnse18-1,
  title =        {On the Interplay between Model-Driven Engineering, Domain-Specific Languages, and {Petri} Nets},
  pages =        {11--12},
  author =       {Wimmer, Manuel},
  year =         2018,
  crossref =     {|PNSE18}
}

@InProceedings{pnse18-2,
  title =        {Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games},
  pages =        {15--34},
  author =       {Bernardinello, Luca and Pomello, Lucia and Aubel, Adri{\'a}n Puerto and Villa, Alessandro},
  year =         2018,
  crossref =     {|PNSE18}
}

@InProceedings{pnse18-3,
  title =        {{Petri} Sport: A Sport for {Petri} Netters},
  pages =        {35--56},
  author =       {Klikovits, Stefan and Linard, Alban and Racordon, Dimitri and Buchs, Didier},
  year =         2018,
  crossref =     {|PNSE18}
}

@InProceedings{pnse18-4,
  title =        {Graphical Simulation Feedback in {Petri} Net-based Domain-Specific Languages within a Meta-Modeling Environment},
  pages =        {57--76},
  author =       {Mosteller, David and Haustermann, Michael and Moldt, Daniel and Schmitz, Dennis},
  year =         2018,
  crossref =     {|PNSE18}
}

@InProceedings{pnse18-5,
  title =        {Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets},
  pages =        {77--98},
  author =       {Phawade, Ramchandra},
  year =         2018,
  crossref =     {|PNSE18}
}

@InProceedings{pnse18-6,
  title =        {On Modelling and Validation of the {MQTT IoT} Protocol for {M2M}},
  pages =        {99--118},
  author =       {Rodriguez, Alejandro and Kristensen, Lars Michael and Rutle, Adrian},
  year =         2018,
  crossref =     {|PNSE18}
}

@InProceedings{pnse18-7,
  title =        {Visualising Data Sets in Structured Occurrence Nets},
  pages =        {121--132},
  author =       {Alharbi, Talal and Koutny, Maciej},
  year =         2018,
  crossref =     {|PNSE18}
}

@InProceedings{pnse18-8,
  title =        {Investigation of Containerizing Distributed {Petri} Net Simulations},
  pages =        {133--142},
  author =       {R{\"o}wekamp, Jan Henrik and Moldt, Daniel and Feldmann, Matthias},
  year =         2018,
  crossref =     {|PNSE18}
}

@InProceedings{pnse18-9,
  title =        {The Pheromone of Ant Emulated by {Petri} Net Inserted Inversely in {RFID} Database for Swarm Robots},
  pages =        {143--162},
  author =       {Ferreira, Marco Vin{\'i}cius Muniz and Tavares, Jos{\'e} Jean-Paul Zanlucchi de Souza and Silva, Jos{\'e} Reinaldo},
  year =         2018,
  crossref =     {|PNSE18}
}

@InProceedings{pnse18-10,
  title =        {A Simple Abstract Interpretation for {Petri} Net Queries},
  pages =        {163--170},
  author =       {Wolf, Karsten},
  year =         2018,
  crossref =     {|PNSE18}
}

@InProceedings{pnse18-11,
  title =        {P-graph Algorithms for {Petri} Net Synthesis},
  pages =        {173--174},
  author =       {Lakner, Roz{\'a}lia and Friedler, Ferenc and Bert{\'o}k, Botond},
  year =         2018,
  crossref =     {|PNSE18}
}

@Proceedings{|PNSE18,
  title =        {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'18, Bratislava, Slovakia, June 25-26, 2018.
                  Proceedings},
  booktitle =    {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'18, Bratislava, Slovakia, June 25-26, 2018.
                  Proceedings},
  year =         2018,
  editor =       {Moldt, Daniel and Kindler, Ekkart and R{\"o}lke, Heiko},
  series =       {CEUR Workshop Proceedings},
  publisher =    {CEUR-WS.org}
  url       = {http://ceur-ws.org/Vol-2138},
  volume    = {2138},
}
