(mobo import Concept___Event_For_Confident-migrated) |
Curator 91 (talk | contribs) |
||
| Line 2: | Line 2: | ||
|Acronym=Petri Nets 2018 | |Acronym=Petri Nets 2018 | ||
|Title=39th International Conference on Applications and Theory of Petri Nets and Concurrency | |Title=39th International Conference on Applications and Theory of Petri Nets and Concurrency | ||
| + | |Ordinal=39 | ||
| + | |In Event Series=Event Series:Petri Nets | ||
| + | |Single Day Event=no | ||
| + | |Start Date=2018/06/24 | ||
| + | |End Date=2018/06/29 | ||
|Type=Conference | |Type=Conference | ||
|Homepage=https://interes.institute/petrinets2018/ | |Homepage=https://interes.institute/petrinets2018/ | ||
| Line 14: | Line 19: | ||
|pageEditor=User:Curator 27 | |pageEditor=User:Curator 27 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
The conference will be co-located with the 18th International Conference on Application of Concurrency to System Design (ACSD 2018). | 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 | General topics related to concurrency | ||
| − | * ● Model checking and verification of distributed systems | + | *● Model checking and verification of distributed systems |
| − | * ● Verification of infinite-state or parametric systems | + | *● Verification of infinite-state or parametric systems |
| − | * ● Causality/partial order theory of concurrency | + | *● Causality/partial order theory of concurrency |
| − | * ● Educational issues related to concurrency | + | *● Educational issues related to concurrency |
| − | * ● New developments in the theory of concurrency | + | *● New developments in the theory of concurrency |
| − | * ● Modelling of hardware and biological systems | + | *● Modelling of hardware and biological systems |
Topics specific to Petri nets | Topics specific to Petri nets | ||
| − | * ● System design using nets | + | *● System design using nets |
| − | * ● Analysis and synthesis, structure and behaviour of nets | + | *● Analysis and synthesis, structure and behaviour of nets |
| − | * ● Relationships between Petri nets and other approaches | + | *● Relationships between Petri nets and other approaches |
| − | * ● Net-based semantical, logical and algebraic calculi | + | *● Net-based semantical, logical and algebraic calculi |
| − | * ● Symbolic net representation (graphical or textual) | + | *● Symbolic net representation (graphical or textual) |
| − | * ● Computer tools for nets | + | *● Computer tools for nets |
| − | * ● Experience with using nets, case studies | + | *● Experience with using nets, case studies |
| − | * ● Higher-level net models | + | *● Higher-level net models |
| − | * ● Timed and stochastic nets | + | *● Timed and stochastic nets |
| − | * ● Standardisation of nets | + | *● Standardisation of nets |
| − | * ● Experience reports describing applications of nets to different kinds of systems and application fields, e.g.: | + | *● 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 12:30, 20 July 2022
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
