scientific article; zbMATH DE number 6936874
From MaRDI portal
Publication:5375267
zbMath1395.68200MaRDI QIDQ5375267
Publication date: 14 September 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Approximate predictability of pseudo-metric systems ⋮ Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions ⋮ On detectability of labeled Petri nets and finite automata ⋮ Deciding detectability for labeled Petri nets ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach ⋮ Design of supervisors for linear marking specifications in labeled Petri nets
This page was built for publication:
