Difference between revisions of "Petri Nets 2018"
Heike.Rohde (talk | contribs) (Created page with "{{Event |Acronym=Petri Nets 2018 |Title=39th International Conference on Applications and Theory of Petri Nets and Concurrency |Series=Petri Nets |Type=Conference }}") |
Heike.Rohde (talk | contribs) |
||
(4 intermediate revisions by the same user not shown) | |||
Line 4: | Line 4: | ||
|Series=Petri Nets | |Series=Petri Nets | ||
|Type=Conference | |Type=Conference | ||
+ | |Start date=2018/06/24 | ||
+ | |End date=2018/06/29 | ||
+ | |Homepage=https://interes.institute/petrinets2018/ | ||
+ | |City=Bratislava | ||
+ | |Country=Slovakia | ||
+ | |has program chair=Victor Khomenko, Olivier H. Roux | ||
+ | |has workshop chair=Lars Michael Kristensen, Lucia Pomello | ||
+ | |Submitted papers=33 | ||
+ | |Accepted papers=24 | ||
+ | |has Proceedings Link=https://link.springer.com/book/10.1007/978-3-319-91268-4 | ||
}} | }} | ||
+ | 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 | ||
+ | * |
Latest revision as of 20:03, 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 |
Homepage: | https://interes.institute/petrinets2018/ |
Location | |
Location: | Bratislava, Slovakia |
Loading map... | |
Papers: | Submitted 33 / Accepted 24 (72.7 %) |
Committees | |
PC chairs: | Victor Khomenko, Olivier H. Roux |
Workshop chairs: | Lars Michael Kristensen, Lucia Pomello |
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"
Acceptance rate | 72.7 + |
Accepted papers | 24 + |
Acronym | Petri Nets 2018 + |
End date | June 29, 2018 + |
Event in series | Petri Nets + |
Event type | Conference + |
Has coordinates | 48° 9' 33", 17° 8' 23"Latitude: 48.159261111111 Longitude: 17.139658333333 + |
Has location city | Bratislava + |
Has location country | Category:Slovakia + |
Has program chair | Victor Khomenko + and Olivier H. Roux + |
Has workshop chair | Lars Michael Kristensen + and Lucia Pomello + |
Homepage | https://interes.institute/petrinets2018/ + |
IsA | Event + |
Start date | June 24, 2018 + |
Submitted papers | 33 + |
Title | 39th International Conference on Applications and Theory of Petri Nets and Concurrency + |