Home Page
» Online Library » Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems
| Theme: | ||
| Author: | ||
| Type: | Article | |
| Kind: | Electronic copy | |
| Parts: | 1 | |
| The year of publishing: | 2023 | |
| Publishing house: | Springer Verlag | |
| Publishing place: | Springer Nature Switzerland, Cham | |
| The target audience: | Researcher | |
| Special purpose: | Scientific | |
| Copyright holder: | Springer | |
| ISBN: | 978-3-031-33619-5 | |
| DOI: | 10.1007/978-3-031-33620-1_2 | |
| SJR: | 0,969 | |
| Bibliographic reference: | Xavier M., Patil S., Dubinin V., Vyatkin V. Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems // Application and Theory of Petri Nets and Concurrency. PETRI NETS 2023. Lecture Notes in Computer Science, vol. 13929. Springer, Cham. P. 16–33. | |
| Url: | https://link.springer.com/chapter/10.1007/978-3-031-33620-1_2 | |
| Language: | English | |
| Post date: | 03.11.2023 |