@InProceedings{pnse17-1,
  title =        {Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications},
  pages =        {13--26},
  author =       {Ba{\~n}ares, Jos{\'e} {\'A}ngel},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-2,
  title =        {Verification of Reconfigurable {Petri} Nets},
  pages =        {27--29},
  author =       {Padberg, Julia},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-3,
  title =        {Decision Diagrams for {Petri} Nets: which Variable Ordering?},
  pages =        {31--50},
  author =       {Amparore, Elvio Gilberto and Donatelli, Susanna and Beccuti, Marco and Garbi, Giulio and Miner, Andrew},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-4,
  title =        {On the Resource Equivalences in {Petri} nets with Invisible Transitions},
  pages =        {51--68},
  author =       {Bashkin, Vladimir A.},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-5,
  title =        {Compatibility Control of Asynchronous Communicating Systems with Unbounded Buffers},
  pages =        {69--84},
  author =       {Dahmani, D. and Boukala, M.C. and Mountassir, H. and Chouali, S.},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-6,
  title =        {Complexity Aspects of Web Services Composition},
  pages =        {85--104},
  author =       {Ennaoui, Karima and Nourine, Lhouari and Toumani, Farouk},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-7,
  title =        {{GPU} Computations and Memory Access Model Based on {Petri} Nets},
  pages =        {105--122},
  author =       {Gogoli{\'n}ska, Anna and Mikulski, {\L}ukasz and Pi\k{a}tkowski, Marcin},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-8,
  title =        {Coloured {Petri} Nets Based Diagnosis on Causal Models},
  pages =        {123--136},
  author =       {Mancer, Soumia and Bennoui, Hammadi},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-9,
  title =        {Simulating Multiple Formalisms Concurrently Based on Reference Nets},
  pages =        {137--156},
  author =       {M{\"o}ller, Pascale and Haustermann, Michael and Mosteller, David and Schmitz, Dennis},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-10,
  title =        {{Petri} Net Inside {RFID} Database Integrated with {RFID} Indoor Positioning System for Mobile Robots Position Control},
  pages =        {157--176},
  author =       {Tavares, Jos{\'e} Jean-Paul Zanlucchi de Sousa and Murofushi, Rodrigo Hiroshi and Silva, Lucas Henriques and Silva, Gustavo Rezende},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-11,
  title =        {Application of Model-based Testing on a Quorum-based Distributed Storage},
  pages =        {177--196},
  author =       {Wang, Rui and Kristensen, Lars Michael and Meling, Hein and Stolz, Volker},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-12,
  title =        {A Tool Chain for Test-driven Development of Reference Net Software Components in the Context of {CAPA} Agents},
  pages =        {197--214},
  author =       {Wincierz, Martin},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-13,
  title =        {Modeling Reusable Concurrent Passive Entity Objects in Colored {Petri} Nets},
  pages =        {217--222},
  author =       {Pitts, Rowland and Gomaa, Hassan},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-14,
  title =        {Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases},
  pages =        {225--226},
  author =       {Bernardi, Simona and Alastuey, Ra{\'u}l Pirac{\'e}s and Bonilla, Alejandro Solanas and Trillo-Lado, Raquel},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-15,
  title =        {Towards Verification of Connection-Aware Transaction Models for Mobile Applications},
  pages =        {227--228},
  author =       {Kristensen, Lars M. and Taentzer, Gabriele and Vaupel, Steffen},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-16,
  title =        {{Petri} Net with {RFID} Distributed Database for Autonomous Search and Rescue in Tracks and Crossings},
  pages =        {229--230},
  author =       {Fonseca, Jo{\~a}o Paulo Da Silva and Tavares, Jose Jean-Paul Zanlucchi de Souza},
  year =         2017,
  crossref =     {|PNSE17}
}

@InProceedings{pnse17-17,
  title =        {Modeling Mobile Agents in Vehicular Networks},
  pages =        {233--238},
  author =       {Urra, Oscar and Ilarri, Sergio},
  year =         2017,
  crossref =     {|PNSE17}
}

@Proceedings{|PNSE17,
  title =        {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'17, Zaragoza, Spain, June 25-26, 2017.
                  Proceedings},
  booktitle =    {Petri Nets and Software Engineering.  International
                  Workshop, PNSE'17, Zaragoza, Spain, June 25-26, 2017.
                  Proceedings},
  year =         2017,
  editor =       {Moldt, Daniel and Cabac, Lawrence and R{\"o}lke, Heiko},
  volume =       1846,
  series =       {CEUR Workshop Proceedings},
  ISSN =         {1613-0073},
  publisher =    {CEUR-WS.org},
  url =          {http://CEUR-WS.org/Vol-1846/},
  urn =          {urn:nbn:de:0074-1846-1}
}
