PNSE'15 International Workshop on Petri Nets and Software Engineering Brussels, Belgium, June 22-23, 2015 a satellite event of Petri Nets 2015 36th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY AND 15th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN More information: http://www.informatik.uni-hamburg.de/TGI/events/pnse15/ Contact e-mail: pnse15_at_informatik_dot_uni-hamburg_dot_de __________________________________________________________________ Important Dates Deadline for full papers: May 15th, 2015 Deadline for short papers: May 15th, 2015 Notification of paper acceptance: May 28th, 2015 Deadline for posters: May 31st, 2015 Notification of poster acceptance: May 31st, 2015 Deadline for final revisions: June 3rd, 2015 __________________________________________________________________ Scope Development of complex systems is an everlasting challenge. The workshop addresses this by discussing the whole range of topics that belong to development approaches: theory, software engineering and modelling. With the background of the Petri net and ACSD conference it has on the one hand a strong background in any kinds of Petri nets and related formalisms. On the other hand software engineering and modelling with their much wider facets are also addressed: Formalisms and their theoretical and practical results need to be embedded. Modelling is one of the dominant topics in this perspective. This year we explicitly invite papers beside the traditionally Petri net biased papers: In addition to more theoretical papers we look for contributions that put the main emphasize on modelling or software engineering. Papers that aim at the cross-fertilization of applied and theoretical research in the above mentioned areas are most welcome. Especially applications and tools provide settings for empirical and practical research projects, which are of high relevance for the workshop. Languages supporting the tasks of planning, analysing, specifying, validation, verification, design, implementation, testing or maintaining. Fundamental concepts and aspects like causality, concurrency, distribution, time, efficiency, correctness, fairness etc. can be addressed with the means of formal modelling as well as with practical means of software engineering. During the workshop we will discuss the mutual dependencies and possibilities of improvements when applied simultaneously. __________________________________________________________________ Topics We welcome contributions describing original research in topics of the above mentioned scope, addressing open problems, presenting new ideas, describing applications or tools. We explicitly invite papers with the main emphasize on software engineering or modelling. Topics of interest include but are not limited to: Modelling representation of formal models by intuitive modelling concepts model-driven architecture and model transformation modelling as a process and as a discipline adaptation and integration of concepts from other disciplines open modelling challenges or representative examples Software Engineering software development approaches and processes modelling, meta-modelling, reference models mobile systems and mobile software engineering adaptive and self-managing software software security and privacy, software robustness, safety tools Validation and Execution prototyping simulation, observation, animation code generation and execution testing and debugging process mining Verification structural methods, structural subclasses state space based approaches assertional and deductive methods (e.g. temporal logics) process algebraic methods applications of category theory and linear logic general analysis for software engineering contexts practical examples and use cases Petri Nets and other Modelling techniques concurrency theory, net formalisms verification, validation and execution case studies Applications, in particular in the domains of (but not restricted to) flexible manufacturing, logistics, telecommunication, workflow management, embedded systems, autonomous and self-* systems Tools and empirical studies in the fields mentioned above Submissions The programme committee invites submissions of full contributions (up to 20 pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be presented in a special poster session. Please note that for full contributions up to 15 pages are recommended. Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (see http://www.springer.de/comp/lncs/authors.html). Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission in PDF format please use the online conference management system at http://www.easychair.org/conferences/?conf=pnse14 Just login or create a new account and then upload your paper. (Later you will be able to see your reviews there.) The papers will be peer reviewed by at least three members of the PC. Accepted contributions will be included in the workshop proceedings, which will be published online at CEUR-WS.org. __________________________________________________________________ Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers. Papers from previous instances of this workshop (PNSE'07, PNDS'08, PNSE'09, PNSE'10, PNSE'11, PNSE'12, PNSE'13 and PNSE'14) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460, 5800, 6550, 6900, 7400, 7480, 7810 and 8910). __________________________________________________________________ Chairs * Daniel Moldt (University of Hamburg, Germany) * Heiko Rölke (DIPF, Germany) * Harald Störrle (Technical University of Denmark, Denmark)