Difference between revisions of "Petri Nets 2018"
Heike.Rohde (talk | contribs) |
Heike.Rohde (talk | contribs) |
||
Line 9: | Line 9: | ||
|Country=Slovakia | |Country=Slovakia | ||
}} | }} | ||
+ | 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 | ||
+ | * |
Revision as of 19:54, 13 May 2020
Petri Nets 2018 | |
---|---|
39th International Conference on Applications and Theory of Petri Nets and Concurrency
| |
Event in series | Petri Nets |
Dates | 2018/06/24 (iCal) - 2018/06/29 |
Location | |
Location: | Bratislava, Slovakia |
Loading map... | |
Table of Contents | |
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
Facts about "Petri Nets 2018"
Acronym | Petri Nets 2018 + |
End date | June 29, 2018 + |
Event in series | Petri Nets + |
Event type | Conference + |
Has coordinates | 48° 9' 6", 17° 6' 34"Latitude: 48.1517 Longitude: 17.109305555556 + |
Has location city | Bratislava + |
Has location country | Category:Slovakia + |
IsA | Event + |
Start date | June 24, 2018 + |
Title | 39th International Conference on Applications and Theory of Petri Nets and Concurrency + |