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
Detectability of labeled petri nets
KTH, School of Electrical Engineering and Computer Science (EECS), Centres, ACCESS Linnaeus Centre.
School of Marine Science and Technology, Northwestern Polytechnical University, Xi’an, China.
School of Electrical and Electronic Engineering, Nanyang Technological University, Singapore, Singapore.
2020 (English)In: Communications and Control Engineering, Springer International Publishing , 2020, p. 195-209Chapter in book (Refereed)
Abstract [en]

In Chap. 9, we studied the verification and complexity problem of the notions of strong detectability and weak detectability for finite-state automata. In this chapter, we characterize these notions for labeled Petri nets (see Sect. 2.4).

Place, publisher, year, edition, pages
Springer International Publishing , 2020. p. 195-209
Keywords [en]
Control engineering, Engineering, Industrial engineering, Detectability, Petri nets
National Category
Control Engineering Computer Systems
Research subject
Electrical Engineering
Identifiers
URN: urn:nbn:se:kth:diva-263450DOI: 10.1007/978-3-030-25972-3_10Scopus ID: 2-s2.0-85070547468OAI: oai:DiVA.org:kth-263450DiVA, id: diva2:1375559
Note

QC20191205

Available from: 2019-12-05 Created: 2019-12-05 Last updated: 2019-12-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Zhang, Kuize

Search in DiVA

By author/editor
Zhang, Kuize
By organisation
ACCESS Linnaeus Centre
Control EngineeringComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 42 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