<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="https://www.zbc.uz.zgora.pl/repozytorium/style/common/xsl/oai-style.xsl"?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" 
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/
         http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
	<responseDate>2026-06-28T06:29:58Z</responseDate>
	<request identifier="oai:zbc.uz.zgora.pl:85818" metadataPrefix="oai_dc" verb="GetRecord">
	https://zbc.uz.zgora.pl/repozytorium/oai-pmh-repository.xml</request>
	<GetRecord>
	
  <record>
	<header>
		<identifier>oai:zbc.uz.zgora.pl:85818</identifier>
	    <datestamp>2025-07-14T12:34:36Z</datestamp>
		  <setSpec>DigitalLibraryZielonaGora</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:Faculties:FacultyComputerElectricalControl</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:Faculties</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:ListJurnals:AMCS:AMCS18</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:TypesWork</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:TypesWork:Articles</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:ListJurnals</setSpec> 	      <setSpec>DigitalLibraryZielonaGora:Repository:ListJurnals:AMCS</setSpec> 	    </header>
		<metadata>
	<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
<dc:title xml:lang="pl"><![CDATA[On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets]]></dc:title>
<dc:creator><![CDATA[Li, Ben]]></dc:creator>
<dc:creator><![CDATA[Khlif-Bouassida, Manel]]></dc:creator>
<dc:creator><![CDATA[Toguéyni, Armand]]></dc:creator>
<dc:subject xml:lang="pl"><![CDATA[fault diagnosis]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[discrete event systems]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[labeled Petri nets]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[on-the-fly diagnosability analysis]]></dc:subject>
<dc:subject xml:lang="pl"><![CDATA[verifier nets]]></dc:subject>
<dc:description xml:lang="pl"><![CDATA[This paper considers the problem of diagnosability analysis of discrete event systems modeled by labeled Petri nets (LPNs). We assume that the LPN can be bounded or "unbounded" with no deadlock after firing any fault transition. Our approach is novel and presents the on-the-fly diagnosability analysis using verifier nets. For a given LPN model, the verifier net and its reachability graph (for a "bounded" LPN) or coverability graph (for an "unbounded" LPN) are built on-the-fly and in parallel for diagnosability analysis. As soon as a diagnosability decision is established, the construction is stopped.]]></dc:description>
<dc:publisher><![CDATA[Zielona Góra: Uniwersytet Zielonogórski]]></dc:publisher>
<dc:contributor><![CDATA[Puig, Vicenç - ed.]]></dc:contributor>
<dc:contributor><![CDATA[Sauter, Dominique - ed.]]></dc:contributor>
<dc:contributor><![CDATA[Aubrun, Christophe - ed.]]></dc:contributor>
<dc:contributor><![CDATA[Schulte, Horst - ed.]]></dc:contributor>
<dc:date><![CDATA[2018]]></dc:date>
<dc:type xml:lang="pl"><![CDATA[artykuł]]></dc:type>
<dc:identifier><![CDATA[http://www.zbc.uz.zgora.pl/repozytorium/Content/85818/AMCS_2018_28_2_3.pdf]]></dc:identifier>
<dc:identifier><![CDATA[https://zbc.uz.zgora.pl/repozytorium/dlibra/publication/100810/edition/85818/content]]></dc:identifier>
<dc:identifier><![CDATA[oai:zbc.uz.zgora.pl:85818]]></dc:identifier>
<dc:source xml:lang="pl"><![CDATA[AMCS, volume 28, number 2 (2018)]]></dc:source>
<dc:source xml:lang="pl"><![CDATA[https://www.amcs.uz.zgora.pl/?action=papers&issue=108]]></dc:source>
<dc:language><![CDATA[eng]]></dc:language>
<dc:relation><![CDATA[oai:zbc.uz.zgora.pl:publication:100810]]></dc:relation>
<dc:rights xml:lang="pl"><![CDATA[Biblioteka Uniwersytetu Zielonogórskiego]]></dc:rights>
</oai_dc:dc>

</metadata>
	  </record>	</GetRecord>
</OAI-PMH>
