[Om-announce] Final Call for Papers: PNSE'15 Petri Nets and Software Engineering
pnse15 at informatik.uni-hamburg.de
Wed May 6 14:38:12 CEST 2015
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
15th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN
Contact e-mail: pnse15_at_informatik_dot_uni-hamburg_dot_de
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
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.
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:
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 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
Validation and Execution
simulation, observation, animation
code generation and execution
testing and debugging
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
Applications, in particular in the domains of (but not restricted to)
autonomous and self-* systems
Tools and empirical studies in the fields mentioned above
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
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 on-line 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).
* Daniel Moldt (University of Hamburg, Germany)
* Heiko Rölke (DIPF, Germany)
* Harald Störrle (Technical University of Denmark, Denmark)
Please use mailto:pnse14 at informatik.uni-hamburg.de or
to contact us with respect to PNSE14
PNSE14 PC-Chairs: Daniel Moldt and Heiko Rölke
*** Event: Petri Nets and Software Engineering, June 23/24, 2014 ***
*** visit: http://www.informatik.uni-hamburg.de/TGI/events/pnse14 ***
More information about the Om-announce