17th International Conference on Application of Concurrency to System Design (ACSD 2017)
June 25-30,2017,Spain
Call For Papers
The 38th annual international Petri Nets conference will be organised by the Aragón Institute of Engineering Research (I3A), of Zaragoza University, Zaragoza, Spain. The conference will take place at the School of Engineering and Architecture (EINA) of Zaragoza University. The language of the conference is English, and its Proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science.
Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems are sought. All accepted regular papers will be considered for an Outstanding Paper award. Some of the best papers will be invited, in an extended form, as submissions to a special issue of a well established computer science journal.
Topics of Interest
Model checking and verification of distributed systems
Verification of infinite-state or parametric systems
Causality/partial order theory of concurrency
Educational issues related to concurrency
New developments in the theory of concurrency
Modelling of hardware and biological systems
System design using nets
Analysis and synthesis, structure and behaviour of nets
Relationships between Petri nets and other approaches
Net-based semantical, logical and algebraic calculi
Symbolic net representation (graphical or textual)
Computer tools for nets
Experience with using nets, case studies
Higher-level net models
Timed and stochastic nets
Standardisation of nets
Experience reports describing applications of nets
to different kinds of systems and application fields, e.g.: flexible manufacturing systems, real-time systems, embedded systems, biological systems, health and medical systems, environmental systems, hardware telecommunications, railway networks, component-based development, office automation, workflows, process mining, supervisory control, protocols and networks, Internet and web services, e-commerce and trading, programming languages, performance evaluation, operations research
Important Dates
Submission deadline: January 15, 2017
Notification Due: March 1, 2017
Final Version Due:March 15, 2017
User Name : Anika
Posted 30-12-2016 on 11:03:45 AEDT
Related CFPs
NCWC 2023
9th International Conference of Networks, Communications, Wireless and Mobile Computing
DSML 2023
4th International Conference on Data Science and Machine Learning (DSML 2023)
MECE 2023
7th International Conference on Trends in Mechanical Engineering
SOEN 2023
8th International Conference on Software Engineering (SOEN 2023)