State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
type: Item
instance of: scholarly article
title: State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
zbMATH Open document ID: 1071.93028
author: Alessandro Giua
author: Daniele Corona
author: C. Seatzu
published in: Discrete Event Dynamic Systems
publication date: 2005-04-25T00:00:00Z
review text: The problem of estimating the markings of a labeled Petri net with nondeterministic transitions is considered. The nondeterminism is due to the presence of transitions that share the same label and that can be simultaneously enabled. It is assumed that i) the structure of the net is known; ii) the initial marking is known; iii) the transition labels can be observed; iv) the nondeterministic transitions are contact-free. Under these assumptions a technique for characterizing the set of markings that are consistent with the actual observation is given. This set of markings can be represented by a linear system with a fixed structure.
reviewed by: Alex V. Kolnogorov
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B07
Mathematics Subject Classification ID: 93E10
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2161210
zbMATH Keywords: Petri nets
zbMATH Keywords: labeled nets
zbMATH Keywords: observer
zbMATH Keywords: marking estimation
MaRDI profile type: Publication
full work available at URL: s10626-005-5239-4
OpenAlex ID: W2095500442
cites work: Petri net languages and infinite subsets of \(\mathbb{N}^m\)
cites work: Observability of place/transition nets
cites work: Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
cites work: Predicates and predicate transformers for supervisory control of discrete event dynamical systems
cites work: Observability of discrete event dynamic systems
cites work: Q3911403
DOI: 10.1007/S10626-005-5239-4
description: scientific article; zbMATH DE number 2161210