*FINAL CALL FOR PAPERS*
*ATAED’16 BIOPN’16 PNSE'16*
Workshop on Algorithms & Theories for the Analysis of Event Data
Workshop on Biological Processes & Petri Nets
Workshop on Petri Nets and Software Engineering
Torun, Poland, June 20-21, 2016
*International satellite events of Petri Nets 2016 and ACSD 2016*
37th INTERNATIONAL CONFERENCE ON
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
and
16th INTERNATIONAL CONFERENCE ON
APPLICATION OF CONCURRENCY TO SYSTEM DESIGN
More information:
ATAED’16: http://www.fernuni-hagen.de/ataed2016/
BIOPPN’16: http://www-dssz.informatik.tu-cottbus.de/BME/BioPPN2016
PNSE’16: http://www.informatik.uni-hamburg.de/TGI/events/pnse16/
*ATAED’16 (deadline: April 15):* The workshop aims to attract papers
related to process mining, region theory and other synthesis techniques.
These techniques have in common that "lower level" behavioral descriptions
(event logs, sets of partial orders, transition systems, etc.) are used to
create "higher level" process models (e.g., various classes of Petri nets,
BPMN, or UML activity diagrams).
*BIOPNN’16 (deadline: April 20):* The goal of this workshop is to provide a
platform for researchers aiming at fundamental research and real life
applications of Petri nets and other concurrency models in Systems and
Synthetic Biology. Systems and Synthetic Biology are full of challenges and
open issues, with adequate modelling and analysis techniques being one of
them, specifically when multiple scales and multiple levels come into play.
We are looking for approaches helping to bridge the gap between different
formalisms, with Petri nets being one them, as they offer a family of
related models, which can be used as a kind of umbrella formalism - models
may share the network structure, but vary in their kinetic details
(quantitative information).
*PNSE’16 (deadline: April 10):* 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,
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 use of Petri nets (P/T-nets, colored Petri nets and
extensions) in the formal process of software engineering, covering
modeling, validation, and verification, will be presented as well as their
application and tools supporting the disciplines mentioned
above.
--
Lukasz Mikulski
OC-Chair of Petri Nets & ACSD 2016
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
