On-line monitoring of large Petri net models under partial observation
type: Item
instance of: scholarly article
title: On-line monitoring of large Petri net models under partial observation
zbMATH Open document ID: 1171.93356
author: George Jiroveanu
author: R. K. Boel
author: Behzad Bordbar
published in: Discrete Event Dynamic Systems
publication date: 2009-10-09T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93A15
Mathematics Subject Classification ID: 93B07
Mathematics Subject Classification ID: 90C35
zbMATH DE Number: 5612742
zbMATH Keywords: discrete event systems
zbMATH Keywords: Petri nets
zbMATH Keywords: monitoring
zbMATH Keywords: diagnosis
describes a project that uses: visualSTATE
MaRDI profile type: Publication
full work available at URL: s10626-007-0036-x
OpenAlex ID: W2043798931
cites work: Diagnosis of large active systems
cites work: Diagnosis of asynchronous discrete-event systems: a net unfolding approach
cites work: State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
cites work: Distributed monitoring of concurrent and asynchronous systems
cites work: Monotonic extensions of Petri nets: forward and backward search revisited
cites work: Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
cites work: Q4263300
cites work: CONCUR 2003 - Concurrency Theory
cites work: Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
cites work: A distributed approach for fault detection and diagnosis based on time Petri nets
cites work: Diagnosability of discrete event systems and its applications
cites work: On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals
cites work: Observability of discrete event dynamic systems
cites work: Diagnosability of discrete-event systems
cites work: Fault diagnosis in discrete-event systems: Framework and model reduction
DOI: 10.1007/S10626-007-0036-X
description: scientific article; zbMATH DE number 5612742