Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

PNSE'19

PNSE'19

International Workshop on Petri Nets and Software Engineering

Aachen, Germany, June 24, 2019

a satellite event of

Petri Nets 2019, ACSD 2019 and Process Mining 2019

40th INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY,

19th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN
and
1st INTERNATIONAL CONFERENCE ON PROCESS MINING

More information: Conference Site

Contact e-mail: pnse19_at_informatik_dot_uni-hamburg_dot_de

Invited Speakers

Jan Mendling (Austria) Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining Abstract
Hans Vangheluwe (Belgium) Petri Nets in Multi-Paradigm Modelling Abstract

Accepted Contributions

Long Presentation

Federica Adobbati, Luca Bernardinello and Lucia Pomello An asynchronous game on distributed Petri nets
Elena Gómez-Martínez, Juan de Lara and Esther Guerra Towards extensible structural analysis of Petri net product lines
Torsten Liebke and Karsten Wolf Solving E (φ U ψ) using the CEGAR approach
Alejandro Rodríguez, Lars Michael Kristensen and Adrian Rutle On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method
Jose J. P. Z. S. Tavares and Gabriel De A. Souza PNRD and iPNRD Integration Assisting Adaptive Control in a Block World Domain

Short Presentation

Talal Alharbi and Maciej Koutny Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs)
Piotr Chrząstowski-Wachtel, Michał Doleżek, Paweł Greipner and Tomasz Wójcicki Petri Meta-Compiler - a Recursive Approach to System Design and Development
Maxi Weichenhain and Wolfgang Fengler A Petri Net Table Model Applied to Classic and Agile Project Management
Wen Zeng and Vasileios Germanos Modelling Hybrid Cyber Kill Chain

Poster Presentations

Jan Henrik Röwekamp, Matthias Feldmann, Daniel Moldt, Michael Simon Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service
Michael Simon, Daniel Moldt, Henri Engelhardt, Sven Willrodt A First Prototype for the Visualization of the Reachability Graph of Reference Nets

Scope

For the successful realization 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 modeling, simulation, 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'19 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2019 and ACSD 2019.

The use of Petri nets (P/T-nets, colored Petri nets and extensions) in software engineering, covering modeling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.

This year we will put an emphasize on the impact of software engineering in general and its model based development on Petri nets by their concepts, methods, techniques and tools. Therefore we especially invite contributions that work on subjects that could(!) be relevant for Petri nets, their applications or their tools. Results on other formalisms or semi-formal techniques, their concepts, methods, tools and experiences (successful or not successful) are highly welcome.

As model based development has proven to be very successful, we want to discuss ideas, applications, concepts, foundations and recent results from the area of modeling during the workshop. Communication is based on models, therefore, the transformation from domain models to software models and back are major tasks that we want to discuss during the workshop from several perspectives. Last but not least, in the context of any organizational institution, the roles of modeling and how to use concepts, methods or tools for modeling may be addressed

The idea is to inspire the Petri nets community with new ideas, insights, relevant concepts, etc. In case that you still have doubts if your contribution will fit: Just contact the PC-Chairs!


Topics

We welcome contributions describing original research in topics from Petri nets, software engineering or modeling. Topics of interest include but are not limited to:
  • Software Engineering
    •  agile development
    •  product lines
    •  software development and production environments; DevOps; IDEs; continuous integration
    •  programming and concurrency
    •  technologies: hadoop / MapReduce; akka, Spark; Flink; STORM etc.
    •  distributed database technology: redis; cassandra; CouchDB; hadoop; mongoDB etc.
    •  concepts for mobility, concurrency, non-determinism, distribution, embedding, flexibility
    •  social concepts for norms, rules, contracts, communication, co-ordination, co-operation
    •  software engineering addressing Petri nets, UML techniques, BPMN, BPEL, eEPCs, CMMN and other modeling techniques
  • Petri nets
    •  validation, execution, simulation, observation, animation, code generation, testing, debugging, implementation and prototyping
    •  verification, behavioral and structural methods, state space based approaches, model checking
    •  process mining
    •  assertional and deductive methods (e.g. temporal logics)
    •  process algebraic methods
  • Modeling
    •  modeling technique variants and their semantics
    •  foundations and basic concepts covering concepts such as concurrency, non-determinism, correctness, mobility, distribution etc.
    •  evaluation of modeling languages, techniques, methods and tools
    •  patterns for models and for modeling
    •  collaborative modeling research
    •  domain specific languages
    •  syntax, semantics and pragmatics of modeling and its languages
    •  model and graph transformation
  • Applications in the domains of
    •  education, training and teaching at any level,
    •  flexible manufacturing,
    •  logistics,
    •  telecommunication,
    •  big data,
    •  cyber-physical systems,
    •  internet-of-things,
    •  grid and cloud computing,
    •  distributed systems,
    •  Internet of Things and Industry 4.0,
    •  Smart Cities and Social Networks,
    •  distributed software development,
    •  workflow management and
    •  embedded systems.
  • Tools, case studies, usability studies and applications in the fields mentioned above


Proceedings

We plan to make the workshop proceedings for PNSE'19 available online at CEUR (available from July, 2019.).
Some former volumes of the workshop can found at:
CEUR-WS.org as Volume 2138
CEUR-WS.org as Volume 1846
CEUR-WS.org as Volume 1591
CEUR-WS.org as Volume 1372
CEUR-WS.org as Volume 1160
CEUR-WS.org as Volume 989
CEUR-WS.org as Volume 851 and
CEUR-WS.org as Volume 723.

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, PNSE'14, PNSE'15, PNSE'16 , PNSE'17 and PNSE'18) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460, 5800, 6550, 6900, 7400, 7480, 8100, 8910, 9410, 9930, 10470 and 11090).

Program committee


Registration & Accommodation

Please register for the PNSE'19 workshop at the Petri Nets 2019 Registration site.

Information about hotels and about how to reach the workshop / conference site can be found at the Petri Nets 2019 Accommodation page and Petri Nets 2019 Venue page.

For further information on PNSE'19 contact the program committee by email at pnse19_at_informatik_dot_uni-hamburg_dot_de
Imprint/Disclaimer
Last Change: 23:21 06/16/2019   Seitenanfang