Petri Nets 2018
Jump to navigation
Jump to search
| Name | Value |
|---|---|
| isA | Event |
| Acronym | Petri Nets 2018 |
| Title | 39th International Conference on Applications and Theory of Petri Nets and Concurrency |
| Start date | 2018/06/24 |
| End date | 2018/06/29 |
| Homepage | https://interes.institute/petrinets2018/ |
| ... | ... |
The conference will be co-located with the 18th International Conference on Application of Concurrency to System Design (ACSD 2018).
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.:
- 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