posted by organizer: lukaszmikulski || 622 views || tracked by 1 users: [display]

ATAED/BIOPPN/PNSE - 2016 : Petri Nets & ACSD Satelites - Final Call for Papers

FacebookTwitterLinkedInGoogle

Link: http://pn2016.mat.umk.pl
 
When Jun 20, 2016 - Jun 21, 2016
Where Torun, Poland
Submission Deadline TBD
 

Call For Papers

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.

Related Resources

Petri Nets 2017   CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
Petri Nets 2017   Petri nets models for modeling, control and optimization
Petri Nets 2017   Applications and Theory of Petri Nets
ICATPN Workshops 2017   Call for Workshop Proposals - Petri Nets 2017
ICMSC - Ei 2018   IEEE-ICMSC 2018-International Conference on Mechanical, System and Control Engineering--Ei Compendex & Scopus
DSHCM 2017   Final Call for Papers - The 1st International Workshop on Data Science for Human Capital Management (collocated with IEEE ICDM'17)
5th ICTEL 2018   2018 – 5th International Conference on Teaching, Education & Learning (ICTEL)
JMIER 2018   Rapid Publication & Free - Journal of Mechanical and Industrial Engineering Research
4th ICSSH 2018   4th Singapore International Conference on Social Science & Humanities (ICSSH)
4th ICTEL 2018   2018 – 4th International Conference on Teaching, Education & Learning (ICTEL)