Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.ORCID iD: 0000-0003-3371-6075
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.ORCID iD: 0000-0003-2936-4185
Independent Researcher, Penza, Russia.ORCID iD: 0000-0002-5761-2249
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Department of Electrical Engineering and Automation, Aalto University, Espoo, Finland.ORCID iD: 0000-0002-9315-9920
2023 (English)In: Application and Theory of Petri Nets and Concurrency - PETRI NETS 2023, Proceedings / [ed] Luis Gomes & Robert Lorenz, Springer, 2023, p. 16-33Conference paper, Published paper (Refereed)
Abstract [en]

This paper summarises recent developments in the application of modular formalisms to model-based verification of industrial automation systems. The paper is a tribute to the legacy of Professor Hans-Michael Hanisch who invented Net Condition/Event Systems (NCES) and passionately promoted the closed-loop modelling approach to modelling and analysis of automation systems. The paper surveys the related works and highlights the impact NCES has made on the current progress of modular automation systems verification.

Place, publisher, year, edition, pages
Springer, 2023. p. 16-33
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 13929
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-103375DOI: 10.1007/978-3-031-33620-1_2ISI: 001292716100002Scopus ID: 2-s2.0-85173573194OAI: oai:DiVA.org:ltu-103375DiVA, id: diva2:1825481
Conference
44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), Lisbon, Portugal, June 25-30, 2023
Note

ISBN for host publication: 978-3-031-33619-5 (print), 978-3-031-33620-1 (electronic)

Available from: 2024-01-09 Created: 2024-01-09 Last updated: 2024-12-20Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Xavier, MidhunPatil, SandeepVyatkin, Valeriy

Search in DiVA

By author/editor
Xavier, MidhunPatil, SandeepDubinin, VictorVyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 59 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf