PNSE'13
International Workshop on
Petri Nets and Software Engineering
Milano, Italy, June 24-25, 2013
a satellite event of
Contact e-mail: pnse13_at_informatik_dot_uni-hamburg_dot_de
Important Dates:
Abstracts should be submitted now to get us informed;
there is no specific deadline for abstracts
Deadline for full papers: | April | 21st, | 2013 |
Deadline for short papers: | April | 23rd, | 2013 |
Notification of paper acceptance: | May | 10th, | 2013 |
Deadline for posters: | May | 12th, | 2013 |
Notification of poster acceptance: | May | 14th, | 2013 |
Deadline for final revisions: | May | 21st, | 2013 |
|
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 and
PNSE'12)
made it into ToPNoC volumes in the Springer LNCS
series (volumes
5100,
5460,
5800,
6550,
6900 and
7400).
Scope
For the successful realisation of complex systems of interacting and
reactive software and hardware components the use of a precise
language at different stages of the development process is of crucial
importance. Petri nets are becoming increasingly popular in this
area, as they provide a uniform language supporting the tasks of
modelling, validation, and verification. Their popularity is due to the
fact that Petri nets capture fundamental aspects of causality,
concurrency and choice in a natural and mathematically precise way
without compromising readability.
The workshop PNSE'13 (Petri Nets and Software Engineering) will take
place as a satellite event of Petri Nets 2013.
The use of Petri Nets (P/T-Nets, Coloured Petri Nets and
extensions) in the formal process of software engineering, covering
modelling, validation, and verification, will be presented as well as their
application and tools supporting the disciplines mentioned above.
Topics
We welcome contributions describing original research in topics
related to Petri nets in combination with
software engineering, addressing open problems or presenting new ideas regarding
the relation of Petri nets and software engineering.
Furthermore we look for surveys addressing open problems and new applications of Petri nets.
Topics of interest include but are not limited to:
-
Modelling
-
representation of formal models by intuitive modelling concepts
-
guidelines for the construction of system models
-
representative examples
-
process-, service-, state-, event-, object- and agent-oriented approaches
-
adaption, integration, and enhancement of concepts from other
disciplines
-
views and abstractions of systems
-
model-driven architecture
-
modelling software landscapes
-
web service-based software development
-
Validation and Execution
-
prototyping
-
simulation, observation, animation
-
code generation and execution
-
testing and debugging
-
process mining
-
efficient implementation
-
Verification
-
structural methods (e.g. place invariants, reduction rules)
-
results for structural subclasses of nets
-
relations between structure and behaviour
-
state space based approaches
-
efficient model checking
-
assertional and deductive methods (e.g. temporal logics)
-
process algebraic methods
-
applications of category theory and linear logic
-
general analysis for software engineering contexts
-
Application of Petri nets in Software Engineering, in particular the
use of Petri nets in the domains of
- flexible manufacturing,
- logistics,
- telecommunication,
- workflow management and
- embedded systems.
-
Tools in the fields mentioned above
Proceedings
The workshop proceedings for PNSE'13 will be available online at
CEUR-WS.org as volume number 989.
It will be available from 09.07.13 onwards.
Invited Speakers
- Andrea Omicini and Stefano Mariani: Coordination for Situated MAS: Towards an Event-driven Architecture
(Alma Mater Studiorum -- Università di Bologna, Italy)
-
Complex software systems modelled as multi-agent systems (MAS) are characterised by activities that are generated either by agents, or by the environment in its most general acceptation --- that is, environmental resources and the spatio-temporal fabric.
Modelling and engineering complex multi-agent systems (MAS) -- such as pervasive, adaptive, and situated MAS -- requires then to properly handle diverse classes of events: agent operations, resource events, spatio-temporal situation.
In this talk, first we devise out the requirements for a software architecture for an agent-based middleware based on boundary artefacts, then we sketch a concrete architecture based on the TuCSoN middleware for MAS coordination.
Further Invited Speakers
- ModBE'13
Ernesto Damiani and Paolo Ceravolo: Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical Industry
(SESAR Lab, Department of Computer Science, Università degli Studi di Milano, Italy)
-
Today's industry is pushed by the competitive pressure to revise the business model by opening the organizational boundaries to suppliers, clients and partners.
As a side effect, knowledge sharing within the market increases and organizations may lose control on strategical knowledge that can be exploited by competitors.
For this reason process monitoring today cannot fail in controlling the collaboration activities established inside and outside the organization.
KITE.it is a project, founded by the italian Ministry of Economic Development, aimed at proposing a methodological and technological framework to support the italian mechanical industry in adopting advanced business network approached.
The Kite framework is aimed at driving the management process in the identification of the business values creating the network and in supporting the strategical analysis by monitoring both the operational and collaborative processes.
The metric system was designed to integrate in a unified analysis metrics insisting on the strategical, operational and collaborative level.
From the technological point of view this is achieved by decoupling the monitoring format from the execution logs that can be integrated in the Kite model from heterogeneous data sources.
-
- BioPPN'13
Raffaele Calogero: Dreaming about models: a biologist’s perspective
(Department of Molecular Biotechnologies and Life Sciences, University of Torino, Italy)
For more information please see BioPPN'13 website
All invited talks are joint sessions of the Petri Nets 2013 satellite workshops.
Monday, June 24th
|
09:00 - 09:15 Opening - BioPPN'13, ModBE'13 and PNSE'13
09:15 - 10:15 Invited Talk (BioPPN'13): ALL invited talks are open for all events!
-
Raffaele Calogero
Dreaming about models: a biologist’s perspective
10:15 - 10:45 Coffee Break
|
10:45 - 12:15 Talks:
Yasir Imtiaz Khan and Matteo Risoldi
Optimizing Algebraic Petri Net Model Checking by Slicing
Jan Martijn van der Werf, Ronny Mans and Wil van der Aalst
Mining Declarative Models Using Time Intervals
Lawrence Cabac, David Mosteller and Matthias Wester-Ebbinghaus
A Proposal for the Modeling of Organizational Structures and Agent Knowledge in MAS
|
12:15 - 14:00 Lunch
|
14:00 - 15:00 Invited Talk ModBE'13:
-
Ernesto Damiani and Paolo Ceravolo
Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical Industry
15:00 - 15:30 Advertising Talks:
Poster: Toshiyuki Miyamoto and Hiroyuki Oimura
A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets
Poster: Vegard Veiset and Lars Kristensen
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol
Poster: Thomas Wagner and Lawrence Cabac
Advantages of a Full Integration between Agents and Workflows
Poster: Sofiane Bendoukha and Lawrence Cabac
Cloud Transition for QoS Modeling of Inter-Organizational Workflows
|
15:30 - 16:00/16:30 Coffee Break Parallel to Poster and Tool Demo
|
16:30 - 18:00 Talks:
Tomáš Richta, Vladimír Janoušek and Radek Kočí
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems
Lukasz Fronc and Franck Pommereau
Building Petri nets tools around Neco compiler
Francesco Fiamberti, Daniela Micucci and Francesco Tisato
Petri nets as a means to validate an architecture for time aware systems
Khodakaram Salimifard, Seyed Yaghoub Hosseini and Mohammad Sadegh Moradi
Improving Emergency Department Processes Using Colored Petri Nets
|
18:00 Closing for the day
|
|
Tuesday, June 25th
|
09:00 - 10:20 Talks:
Rachid Hadjidj and Hanifa Boucheneb
RT-Studio: A tool for modular design and analysis of realtime systems using Interpreted Time Petri Nets
Thomas Chatain and Stefan Haar
A Canonical Contraction for Safe Petri Nets
Xiaoqing Jin, Yousra Lembachar and Gianfranco Ciardo
Symbolic verification of ECA rules
|
10:20 - 11:00 Coffee Break
|
11:00 - 12:30 Talks:
Lawrence Cabac, Tobias Betz, Michael Duvigneau, Thomas Wagner and Matthias Wester-Ebbinghaus
Integrating Web Services in Petri Net-based Agent Applications
Vladimir A. Bashkin and Irina A. Lomazova
Soundness of Workflow Nets with an Unbounded Resource is Decidable
Luca Bernardinello, Gorkem Kılınc, Elisabetta Mangioni and Lucia Pomello
Modeling Distributed Private Key Generation by Composing Petri Nets
|
12:30 - 14:00 Lunch
|
14:00 - 15:00 Invited Talk PNSE'13:
-
Andrea Omicini and Stefano Mariani
Coordination for Situated MAS: Towards an Event-driven Architecture
15:00 - 15:20 Talk:
Lawrence Cabac and Michael Simon
Introducing Catch Arcs to Java Reference Nets
|
15:20 - 16:00 Coffee Break Parallel to Announcement of Model Checking Contest Results
|
16:00 - 17:20 Talks:
Belhassen Mazigh and Kais Ben Fadhel
A system Performance in presence of faults Modeling Framework using AADL and GSPNs
Christine Choppy, Laure Petrucci and Alfred Sanogo
Coloured Petri Nets Refinements
-
Dennis Schunselaar, Eric Verbeek, Wil Van Der Aalst and Hajo A. Reijers
A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets
Eric Verbeek and Wil van der Aalst
Decomposing Replay Problems: A Case Study
|
17:20 - 17:30 Closing
|
17:30 End of the Workshops
|
|
Programme committee
- Wil van der Aalst (Eindhoven University, Netherlands)
- Kamel Barkaoui (Conservatoire National des Arts et Métiers, France)
- Didier Buchs (University of Geneva, Switzerland)
- Lawrence Cabac (University of Hamburg, Germany)
- Piotr Chrzastowski-Wachtel (University of Warsaw, Poland)
- Gianfranco Ciardo (University of California at Riverside, USA)
- José-Manuel Colom (University of Zaragoza, Spain)
- Jörg Desel (University of Hagen, Germany)
- Raymond Devillers (Université Libre de Bruxelles, Belgium)
- Jorge C. A. de Figueiredo (Federal University of Campina Grande, Brazil)
- Giuliana Franceschinis (University of Piemonte Orientale / University of Torino, Italy)
- Luís Gomes (Universidade Nova de Lisboa, Portugal)
- Stefan Haar (ENS Cachan, France)
- Serge Haddad (ENS Cachan, France)
- Xudong He (Florida International University, USA)
- Kees van Hee (Technical University of Eindhoven, The Netherlands)
- Thomas Hildebrandt (IT University of Copenhagen, Denmark)
- Kunihiko Hiraishi (Japan Advanced Institute of Science and Technology, Japan)
- Vladimír Janoušek (Brno University of Technology, Czech Republic)
- Gabriel Juhás (Slovak University of Technology Bratislava, Slovakia)
- Peter Kemper (College of William and Mary, USA)
- Astrid Kiehn (IIIT Delhi, India)
- Ekkart Kindler (Technical University of Denmark, Denmark)
- Hanna Klaudel (Université d'Evry-Val d'Essonne, France)
- Radek Kočí (Brno University of Technology, Czech Republic)
- Fabrice Kordon (University P. & M. Curie, LIP 6, France)
- Maciej Koutny (Newcastle University, United Kingdom)
- Lars Kristensen (Bergen University College, Norway)
- Michael Köhler-Bußmeier (University of Hamburg, Germany)
- Johan Lilius (Åbo Akademi University, Finland)
- Robert Lorenz (University of Augsburg, Germany)
- Daniel Moldt (University of Hamburg, Germany) (Chair)
- Chun Ouyang (Queensland University of Technology, Australia)
- Wojciech Penczek (University of Podlasie, Poland)
- Laure Petrucci (University Paris Nord, France)
- Lucia Pomello (Università degli Studi di Milano-Bicocca, Italy)
- Heiko Rölke (DIPF, Germany) (Chair)
- Catherine Tessier (ONERA Toulouse, France)
- H.M.W. Eric Verbeek (Eindhoven University, Netherlands)
- Karsten Wolf (University of Rostock, Germany)
Registration & Accommodation
Please register for the PNSE'13 workshop at the
Petri Nets 2013 Registration site.
Information about how to reach the workshop / conference site and
about hotels can be found at the
Petri Nets 2013 Travel pages.
Submissions
(The call for papers is also available as
[PDF] or
[TXT] document.)
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
if the paper should be considered for the journal publication.
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=pnse13
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.
In case of any problems please contact us by email at
pnse13_at_informatik_dot_uni-hamburg_dot_de.
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.