<!DOCTYPE html>
<!-- CEURVERSION=2015-06-15 -->
<html>
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-1372 - Petri Nets and Software Engineering (PNSE 2015)</title>
</head>
<!--CEURLANG=eng -->
<body>


<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">

<span class="CEURVOLNR">Vol-1372</span> <br>
<span class="CEURURN">urn:nbn:de:0074-1372-0</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 
<span class="CEURPUBYEAR">2015</span> for the individual papers
by the papers' authors. Copying permitted for private and academic purposes.
This volume is published and copyrighted by its editors.</p>
</td>
</tr>
</tbody></table>

<hr>

<br><br><br>

<h1><a href="http://www.informatik.uni-hamburg.de/TGI/events/pnse15/"><span class="CEURVOLACRONYM">PNSE 2015</span></a><br>
<span class="CEURVOLTITLE">International Workshop on Petri Nets and Software Engineering (PNSE 2015)</span> <br>
              @ Petri Nets 2015 and ACSD 2015</h1>

<h3>
<a href="http://www.informatik.uni-hamburg.de/TGI/events/pnse15/">
<span class="CEURFULLTITLE">Proceedings of the International Workshop on Petri Nets and Software Engineering 
				(PNSE'15)</span></a> 
<br>
		including the <a href="http://adecs2015.cnam.fr/">International Workshop on Petri Nets for Adaptive Discrete Event Control Systems 
		(<span class="CEURCOLOCATED">ADECS 2015</span></a>)
<br><br>
		co-located with 
		the 36th International Conference on Application and Theory of Petri Nets and Concurrency
		<a href="http://www.ulb.ac.be/di/verif/pn2015acsd2015/index.html">
		<span class="CEURCOLOCATED">Petri Nets 2015</span></a>
		and 
<br>
		the 15th International Conference on Application of Concurrency to System Design
		<a href="http://www.ulb.ac.be/di/verif/pn2015acsd2015/index.html">
		<span class="CEURCOLOCATED">ACSD 2015</span></a>
<br>
</h3>
<h3><span class="CEURLOCTIME">Brussels, Belgium, June 22&ndash;23, 2015</span>.</h3> 
<br>
<b> Edited by </b>
<p>

</p>
<h3>
<a href="http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/wimis/moldt_eng.html"><span class="CEURVOLEDITOR">Daniel Moldt</span></a> * <br>
    <a href="http://www.dipf.de/en/about-us/staff/roelke?set_language=en"><span class="CEURVOLEDITOR">Heiko R&ouml;lke</span></a> ** <br>
    <a href="http://www2.compute.dtu.dk/~hsto/index_2015.html"><span class="CEURVOLEDITOR">Harald St&ouml;rrle</span></a> *** 
</h3>
<br>
<hr>

	* <a href="http://www.informatik.uni-hamburg.de/TGI/">University of Hamburg, Department of Informatics</a>, 22527 Hamburg, Germany
<br>
    ** <a href="http://www.dipf.de/en/">DIPF (German Institute for International Educational Research)</a>, Germany
<br>
    *** <a href="http://www.dtu.dk/english">Technical University of Denmark</a>, 2800 Kgs. Lyngby, Denmark
<hr>
<br><br><br>

<a href="pnse15_proceedings.pdf">PNSE'15 proceedings</a> as a single volume.<br>
<a href="pnse15_proc.bib">BibTeX</a> for the PNSE'15 proceedings.
<br>

<div class="CEURTOC">
<h2> Table of Contents </h2>

<ul>

<li id="frontmatter"><a href="frontmatter.pdf">
Frontmatter</a>
<span class="CEURPAGES">1-14</span> <br>

</li>
 
</ul>

<h3><span class="CEURSESSION">Invited Talks</span></h3>

<ul> 

<li id="paper0"><a href="paper0.pdf">
<span class="CEURTITLE">Software Engineering and Modeling Education: Problems and Solutions</span></a>
<span class="CEURPAGES">17</span> <br>
<span class="CEURAUTHORS">Nicolas Guelfi</span>  
</li>
 
<li id="paper1"><a href="paper1.pdf">
<span class="CEURTITLE">Awareness and Control in Adaptable Transition Systems</span></a>
<span class="CEURPAGES">19-21</span> <br>
<span class="CEURAUTHORS">Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin</span>  
</li>
 
</ul>

<h3><span class="CEURSESSION">Long Presentations</span></h3>

<ul> 

<li id="paper2"><a href="paper2.pdf">
<span class="CEURTITLE">Unifying Patterns for Modelling Timed Relationships in Systems and Properties</span></a>
<span class="CEURPAGES">25-40</span> <br>
<span class="CEURAUTHORS">&Eacute;tienne Andr&eacute;, Laure Petrucci</span>  
</li>
 
<li id="paper3"><a href="paper3.pdf">
<span class="CEURTITLE">Negotiations and Petri Nets</span></a>
<span class="CEURPAGES">41-57</span> <br>
<span class="CEURAUTHORS">J&ouml;rg Desel, Javier Esparza</span>  
</li>
 
<li id="paper4"><a href="paper4.pdf">
<span class="CEURTITLE">Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets</span></a>
<span class="CEURPAGES">59-78</span> <br>
<span class="CEURAUTHORS">Luca Bernardinello, G&ouml;rkem K&#305;l&#305;n&#231;, Lucia Pomello</span>  
</li>
 
<li id="paper5"><a href="paper5.pdf">
<span class="CEURTITLE">Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification</span></a>
<span class="CEURPAGES">79-98</span> <br>
<span class="CEURAUTHORS">Kent Inge Fagerland Simonsen, Lars M. Kristensen, Ekkart Kindler</span>  
</li>
 
<li id="paper6"><a href="paper6.pdf">
<span class="CEURTITLE">Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework</span></a>
<span class="CEURPAGES">99-114</span> <br>
<span class="CEURAUTHORS">David Mosteller, Lawrence Cabac, Michael Haustermann</span>  
</li>
 
<li id="paper7"><a href="paper7.pdf">
<span class="CEURTITLE">Validating DCCP Simultaneous Feature Negotiation Procedure</span></a>
<span class="CEURPAGES">115-132</span> <br>
<span class="CEURAUTHORS">Somsak Vanit-Anunchai</span>  
</li>
 
<li id="paper8"><a href="paper8.pdf">
<span class="CEURTITLE">Dynamic Software Architecture for Distributed Embedded Control Systems</span></a>
<span class="CEURPAGES">133-150</span> <br>
<span class="CEURAUTHORS">Tom&aacute;&#353; Richta, Vladim&iacute;r Janou&#353;ek, Radek Ko&#269;&iacute;</span>   
</li>
</ul>

<h3><span class="CEURSESSION">Short Presentations</span></h3>

<ul> 

<li id="paper9"><a href="paper9.pdf">
<span class="CEURTITLE">Reengineering the Editor of the GreatSPN Framework</span></a>
<span class="CEURPAGES">153-170</span> <br>
<span class="CEURAUTHORS">Elvio Gilberto Amparore</span>  
</li>
 
<li id="paper10"><a href="paper10.pdf">
<span class="CEURTITLE">Improving Performance of Complex Workflows: Investigating Moving Net Execution to the Cloud</span></a>
<span class="CEURPAGES">171-189</span> <br>
<span class="CEURAUTHORS">Sofiane Bendoukha, Thomas Wagner</span>  
</li>
 
<li id="paper11"><a href="paper11.pdf">
<span class="CEURTITLE">Modelling the Behaviour of Management Operations in Cloud-based Applications</span></a>
<span class="CEURPAGES">191-205</span> <br>
<span class="CEURAUTHORS">Antonio Brogi, Andrea Canciani, Jacopo Soldani, Pengwei Wang</span>  
</li>
 
<li id="paper12"><a href="paper12.pdf">
<span class="CEURTITLE">Unfolding CSPT-nets</span></a>
<span class="CEURPAGES">207-226</span> <br>
<span class="CEURAUTHORS">Bowen Li, Maciej Koutny</span>  
</li>
 
<li id="paper13"><a href="paper13.pdf">
<span class="CEURTITLE">Discovery of Functional Architectures From Event Logs</span></a>
<span class="CEURPAGES">227-243</span> <br>
<span class="CEURAUTHORS">Jan Martijn van der Werf, Erwin Kaats</span>  
</li>
 
<li id="paper14"><a href="paper14.pdf">
<span class="CEURTITLE">Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation</span></a>
<span class="CEURPAGES">245-265</span> <br>
<span class="CEURAUTHORS">Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann</span>  
</li>
 
<li id="paper15"><a href="paper15.pdf">
<span class="CEURTITLE">Lookahead Consistency Models for Dynamic Migration of Workflow Processes</span></a>
<span class="CEURPAGES">267-286</span> <br>
<span class="CEURAUTHORS">Ahana Pradhan, Rushikesh K. Joshi</span>  
</li>
 
<li id="paper16"><a href="paper16.pdf">
<span class="CEURTITLE">Catalog-based Token Transportation in Acyclic Block-Structured WF-nets</span></a>
<span class="CEURPAGES">287-307</span> <br>
<span class="CEURAUTHORS">Ahana Pradhan, Rushikesh K. Joshi</span>  
</li>
 
</ul>

<h3><span class="CEURSESSION">Poster Abstracts</span></h3>

<ul> 

<li id="paper17"><a href="paper17.pdf">
<span class="CEURTITLE">De-Materializing Local Public Administration Processes</span></a>
<span class="CEURPAGES">311-312</span> <br>
<span class="CEURAUTHORS">Giancarlo Ballauco, Paolo Ceravolo, Ernesto Damiani, Fulvio Frati, Francesco Zavatarelli</span>  
</li>
 
<li id="paper18"><a href="paper18.pdf">
<span class="CEURTITLE">Renew -- The Reference Net Workshop</span></a>
<span class="CEURPAGES">313-314</span> <br>
<span class="CEURAUTHORS">Lawrence Cabac, Michael Haustermann, David Mosteller</span>  
</li>
 
<li id="paper19"><a href="paper19.pdf">
<span class="CEURTITLE">Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification</span></a>
<span class="CEURPAGES">315-316</span> <br>
<span class="CEURAUTHORS">Camille Coti, Sami Evangelista, Kais Klai</span>  
</li>
 
<li id="paper20"><a href="paper20.pdf">
<span class="CEURTITLE">Introducing the Quick Fix for the Petri Net Modeling Tool Renew</span></a>
<span class="CEURPAGES">317-318</span> <br>
<span class="CEURAUTHORS">Jan Hicken, Lawrence Cabac, Michael Haustermann</span>  
</li>
 
<li id="paper21"><a href="paper21.pdf">
<span class="CEURTITLE">Process-oriented Worksheets for the Support of Teaching Projects</span></a>
<span class="CEURPAGES">319-320</span> <br>
<span class="CEURAUTHORS">Dennis Schmitz, Lawrence Cabac</span>  
</li>
 
<li id="paper22"><a href="paper22.pdf">
<span class="CEURTITLE">Integrating Network Technique into Distributed Agent-Oriented Software Development Projects</span></a>
<span class="CEURPAGES">321-322</span> <br>
<span class="CEURAUTHORS">Christian R&ouml;der, Lawrence Cabac</span>  
</li>
 
<li id="paper23"><a href="paper23.pdf">
<span class="CEURTITLE">Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT</span></a>
<span class="CEURPAGES">323-324</span> <br>
<span class="CEURAUTHORS">Jan Henrik R&ouml;wekamp, Michael Haustermann</span>  
</li>
 
<li id="paper24"><a href="paper24.pdf">
<span class="CEURTITLE">Coordination Rules Generation from Coloured Petri Net Models</span></a>
<span class="CEURPAGES">325-326</span> <br>
<span class="CEURAUTHORS">Adja Ndeye Sylla, Maxime Louvel, Fran&ccedil;ois Pacull</span>  
</li>
 
  
</ul>


</div>


<hr>
<span class="unobtrusive">
2015-06-19: submitted by Daniel Moldt<br>
<span class="CEURPUBDATE">yyyy-mm-dd</span>: published on CEUR-WS.org
	|<A HREF="https://validator.w3.org/nu/?useragent=Validator.nu%2FLV+http%3A%2F%2Fvalidator.w3.org%2Fservices&amp;doc=http%3A%2F%2Fceur-ws.org%2FVol-1372/">valid HTML5</A>|
</span>
</body></html>
