Scholarlink

<p>This paper addresses the problem of markings and transition estimation in partially observed Petri nets, assuming that the markings of certain places are known, while all transition firings are initially unobserved. The proposed approach follows a two-step strategy. First, an algorithm is introduced that exploits the net structure and observable place markings to determine the firing vector for some or all transitions. Second, two scenarios are considered: when all transitions are detected, an algorithm estimates the complete marking vector without requiring the initial marking; when only a subset of transitions is detected, an asymptotic observer combines the detected transitions, observable markings, and the initial marking to estimate both the remaining transitions and the complete marking vector. Illustrative examples are provided to demonstrate the effectiveness of the proposed approach.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Marking and firing transition estimation for partially observed petri nets without observable transitions

  • 期刊论文

  • 发表日期：

    2026年7月27日

查看全文
  • Fayssal Arichi,
  • Bouchra Mamoun,
  • Brahim Cherki,
  • Mohamed Djemai

摘要

This paper addresses the problem of markings and transition estimation in partially observed Petri nets, assuming that the markings of certain places are known, while all transition firings are initially unobserved. The proposed approach follows a two-step strategy. First, an algorithm is introduced that exploits the net structure and observable place markings to determine the firing vector for some or all transitions. Second, two scenarios are considered: when all transitions are detected, an algorithm estimates the complete marking vector without requiring the initial marking; when only a subset of transitions is detected, an asymptotic observer combines the detected transitions, observable markings, and the initial marking to estimate both the remaining transitions and the complete marking vector. Illustrative examples are provided to demonstrate the effectiveness of the proposed approach.