The organizing committee is delighted to invite you to PN 2017 and ACSD 2017, the 38th International Conference on Application and Theory of Petri Nets and Concurrency, and the 17th International Conference on Application of Concurrency to System Design, to be held in Zaragoza, Spain. Over the past decades, PN and ACSD are a series of successful conferences that serve as the major international forum for presenting and sharing recent research in the fields of Petri Nets and Concurrency. PN 2017 and ACSD 2017, hosted by the University of Zaragoza, will take place in Zaragoza, Spain.
Formal models of computation and concurrency for the above systems and problems, like data-flow models, communicating automata, Petri nets, process algebras, graph rewriting systems, state charts, MSCs, modal and temporal logics
Compositional design principles like modular synthesis, distributed simulation and implementation, distributed control, adaptivity, supervisory control
Algorithms and tools for concurrent systems, ranging from programming languages to algorithmic methods for system analysis and construction, including model checking, verification, and static analysis techniques as well as synthesis procedures
Synchronous and asynchronous systems on all design levels: polychronous systems, endochronous systems, globally asynchronous locally synchronous systems
Cyber-physical systems, hybrid systems, networked systems, and networks in biological systems
High-performance computer architectures like many-core processors, networks on chip, graphics processing units, instruction-level parallelism, dataflow architectures, up to ad-hoc, mobile, and wireless networks
Memory consistency models for multiprocessor and multicore architectures, replicated data, including software and hardware memory models, DRAM scheduling, cache coherency, memory-aware algorithms Real-time aspects, including hard real-time requirements, security and safety-critical issues, functional and timing verification
Implementation aspects like resource management, including task and communication scheduling, network-, memory-, and power-management, energy/power distribution, fault-tolerance, quality of service, scalability, load balancing, power proportionality
Design principles for concurrent systems, in particular hardware/software co-design, platform-based design, component-based design, energy-aware design, refinement techniques, hardware/software abstractions, cross-layer optimization
Business process modelling, workflow execution systems, process (de-)composition, inter-organizational and heterogeneous workflow systems, systems for computer-supported collaborative work, web services
Case studies of general interest, from industrial applications to consumer electronics and multimedia, automotive systems, (bio-)medical applications, neuromorphic applications, internet (of things) and grid computing, to gaming applications.
06月26日
2017
06月30日
2017
摘要截稿日期
初稿截稿日期
初稿录用通知日期
终稿截稿日期
注册截止日期
2016年06月20日 波兰 Torun, Poland
2016年国际Petri网与软件工程研讨会2008年06月23日 中国 西安市
2008第八届网络应用系统设计国际研讨会
留言