第37届国际Petri网年度会议 The 37th annual international Petri Nets conference

征稿已开启

已截稿

注册已开启

已截止

活动简介

The 37th annual international Petri Nets conference will be organized by the Department of Formal Languages and Concurrency (Faculty of Mathematics and Computer Science) of Nicolaus Copernicus University, Toruń, Poland. The conference will take place at the Faculty of Mathematics and Computer Science of Nicolaus Copernicus 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.

征稿信息

征稿范围

General topics related to concurrency：

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

Topics specific to Petri nets

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