Description

• Tytuł:
  On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets
• Twórca:
  Li, Ben;
  Khlif-Bouassida, Manel;
  Toguéyni, Armand
• Współtwórca:
  Puig, Vicenç (Red.);
  Sauter, Dominique (Red.);
  Aubrun, Christophe (Red.);
  Schulte, Horst (Red.)
• Dostępność obiektu:
  free access
• Prawa:
  Biblioteka Uniwersytetu Zielonogórskiego
• Data:
  2018
• Typ:
  artykuł
• Język:
  English
• Źródło:
  AMCS, volume 28, number 2 (2018);
  https://www.amcs.uz.zgora.pl/?action=papers&issue=108
• Wydawca:
  Zielona Góra: Uniwersytet Zielonogórski
• Temat i słowa kluczowe:
  fault diagnosis;
  discrete event systems;
  labeled Petri nets;
  on-the-fly diagnosability analysis;
  verifier nets
• Identyfikator:
  10.2478/amcs-2018-0019
• Dostawca danych:
  Zielonogórska Biblioteka Cyfrowa
• Czy mogę z tego obiektu skorzystać?:
  check license
• Rodzaj zawartości:
  image