Curator 91 (talk | contribs) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
(3 intermediate revisions by the same user not shown) | |||
Line 8: | Line 8: | ||
|End Date=2018/06/29 | |End Date=2018/06/29 | ||
|Type=Conference | |Type=Conference | ||
− | | | + | |Official Website=https://interes.institute/petrinets2018/ |
|City=Bratislava | |City=Bratislava | ||
− | |Country= | + | |Country=Country:SK |
|has program chair=Victor Khomenko, Olivier H. Roux | |has program chair=Victor Khomenko, Olivier H. Roux | ||
|has workshop chair=Lars Michael Kristensen, Lucia Pomello | |has workshop chair=Lars Michael Kristensen, Lucia Pomello | ||
− | |||
− | |||
|has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-91268-4 | |has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-91268-4 | ||
|pageCreator=User:Curator 27 | |pageCreator=User:Curator 27 | ||
|pageEditor=User:Curator 27 | |pageEditor=User:Curator 27 | ||
|contributionType=1 | |contributionType=1 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
}} | }} | ||
+ | {{Event Deadline}} | ||
+ | {{Event Metric | ||
+ | |Number Of Submitted Papers=33 | ||
+ | |Number Of Accepted Papers=24 | ||
+ | }} | ||
+ | {{S Event}} | ||
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). | ||
Latest revision as of 14:19, 19 October 2022
Deadlines
Metrics
Submitted Papers
33
Accepted Papers
24
Venue
Bratislava, Slovakia
Warning: Venue is missing. The map might not show the exact location.
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