@InProceedings{pnse15-0,
  title =        {Software Engineering and Modeling Education: Problems and Solutions},
  pages =        {17},
  author =       {Guelfi, Nicolas},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-1,
  title =        {Awareness and Control in Adaptable Transition Systems},
  pages =        {19--21},
  author =       {Gadducci, Fabio and Bruni, Roberto and Corradini, Andrea and Lluch Lafuente, Alberto and Vandin, Andrea},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-2,
  title =        {Unifying Patterns for Modelling Timed Relationships in Systems and Properties},
  pages =        {25--40},
  author =       {Andr{\'e}, {\'E}tienne and Petrucci, Laure},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-3,
  title =        {Negotiations and {Petri} Nets},
  pages =        {41--57},
  author =       {Desel, J{\"o}rg and Esparza, Javier},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-4,
  title =        {Non-Interference Notions Based on Reveals and Excludes Relations for {Petri} Nets},
  pages =        {59--78},
  author =       {Bernardinello, Luca and K{\i }l{\i }n{\c c}, G{\"o}rkem  and Pomello, Lucia},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-5,
  title =        {Pragmatics Annotated Coloured {Petri} Nets for Protocol Software Generation and Verification},
  pages =        {79--98},
  author =       {Simonsen, Kent Inge Fagerland and Kristensen, Lars and Kindler, Ekkart},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-6,
  title =        {Providing {Petri} Net-Based Semantics in Model Driven-Development for the {Renew} Meta-Modeling Framework},
  pages =        {99--114},
  author =       {Mosteller, David and Cabac, Lawrence and Haustermann, Michael},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-7,
  title =        {Validating DCCP Simultaneous Feature Negotiation Procedure},
  pages =        {115--132},
  author =       {Vanit-Anunchai, Somsak},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-8,
  title =        {Dynamic Software Architecture for Distributed Embedded Control Systems},
  pages =        {133--150},
  author =       {Richta, Tom\'{a}\v{s} and Janou\v{s}ek, Vladim\'{i}r and Ko\v{c}\'{i}, Radek},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-9,
  title =        {Reengineering the Editor of the {GreatSPN} Framework},
  pages =        {153--170},
  author =       {Amparore, Elvio Gilberto},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-10,
  title =        {Improving Performance of Complex Workflows: Investigating Moving Net Execution to the Cloud},
  pages =        {171--189},
  author =       {Bendoukha, Sofiane and Wagner, Thomas},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-11,
  title =        {Modelling the Behaviour of Management Operations in Cloud-based Applications},
  pages =        {191--205},
  author =       {Brogi, Antonio and Canciani, Andrea and Soldani, Jacopo and Wang, Pengwei},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-12,
  title =        {Unfolding {CSPT}-nets},
  pages =        {207--226},
  author =       {Li, Bowen and Koutny, Maciej},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-13,
  title =        {Discovery of Functional Architectures From Event Logs},
  pages =        {227--243},
  author =       {van der Werf, Jan Martijn and Kaats, Erwin},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-14,
  title =        {Interval-Timed {Petri} Nets with Auto-concurrent Semantics and their State Equation},
  pages =        {245--265},
  author =       {Pelz, Elisabeth and Popova-Zeugmann, Louchka and Kabouche, Abderraouf},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-15,
  title =        {Lookahead Consistency Models for Dynamic Migration of Workflow Processes},
  pages =        {267--286},
  author =       {Pradhan, Ahana and Joshi, Rushikesh K.},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-16,
  title =        {Catalog-based Token Transportation in Acyclic Block-Structured WF-nets},
  pages =        {287--307},
  author =       {Pradhan, Ahana and Joshi, Rushikesh K.},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-17,
  title =        {De-Materializing Local Public Administration Processes},
  pages =        {311--312},
  author =       {Ballauco, Giancarlo and Ceravolo, Paolo and Damiani, Ernesto and Frati, Fulvio and Zavatarelli, Francesco},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-18,
  title =        {{Renew} -- The Reference Net Workshop},
  pages =        {313--314},
  author =       {Cabac, Lawrence and Haustermann, Michael and Mosteller, David},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-19,
  title =        {Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification},
  pages =        {315--316},
  author =       {Coti, Camille and Evangelista, Sami and Klai, Kais},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-20,
  title =        {Introducing the Quick Fix for the {Petri} Net Modeling Tool {Renew}},
  pages =        {317--318},
  author =       {Hicken, Jan and Cabac, Lawrence and Haustermann, Michael},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-21,
  title =        {Process-oriented Worksheets for the Support of Teaching Projects},
  pages =        {319--320},
  author =       {Schmitz, Dennis and Cabac, Lawrence},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-22,
  title =        {Integrating Network Technique Into an Agent-Oriented and Distributed Software Development Process},
  pages =        {321--322},
  author =       {R{\"o}der, Christian and Cabac, Lawrence},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-23,
  title =        {Applying {Petri} Nets to Approximation of the Euclidean Distance with the Example of {SIFT}},
  pages =        {323--324},
  author =       {R{\"o}wekamp, Jan Henrik and Haustermann, Michael},
  year =         2015,
  crossref =     {|PNSE15}
}

@InProceedings{pnse15-24,
  title =        {Coordination Rules Generation from Coloured {Petri} Net Models},
  pages =        {325--326},
  author =       {Sylla, Adja Ndeye and Louvel, Maxime and Pacull, Fran{\c c}ois},
  year =         2015,
  crossref =     {|PNSE15}
}

  @Proceedings{|PNSE15,
  title =        {Petri Nets and Software Engineering. International Workshop, PNSE'15, Brussels, Belgium, June 22-23, 2015. Proceedings},
  booktitle =    {Petri Nets and Software Engineering. International Workshop, PNSE'15, Brussels, Belgium, June 22-23, 2015. Proceedings},
  year =         2015,
  editor =       {Moldt, Daniel and R{\"o}lke, Heiko and St{\"o}rrle, Harald},
  volume =       1372,
  series =       {CEUR Workshop Proceedings},
  ISSN =         {1613-0074},
  publisher =    {CEUR-WS.org},
  url =          {http://CEUR-WS.org/Vol-1372},
  urn =          {urn:nbn:de:0074-1372-0}
}
