Abstract:Marking estimation is crucial in the area of discrete event systems. This paper proposes algorithms for addressing the problem of minimum initial markings (MuIMs) estimation in a known Petri net (PN) structure. The existence of unobservable transitions makes this problem challenging since the number of transition sequences consistent with an observed label sequence can potentially be infinite. It is assumed that only minimal explanations can fire before the firing of each observable transition (OT). We present the definition of minimal explanation places, which allows potential minimal explanations to fire before the firing of each OT to obtain more minimal initial markings. Since the number of initial markings may be infinite, we aim to obtain the initial markings that not only enable at least one transition sequence consistent with both the observed label sequence and the PN structure, but also exhibit the minimum total number of tokens (i.e., the minimum total number of tokens when summed over all places). After developing the algorithms, we also propose two heuristic methods to reduce the computational cost, resulting in a subset or an approximation of the final MuIMs. An illustrative example is provided to indicate how the proposed algorithms and heuristics can be utilized to reveal the minimum number of resources required which are indispensable at the initial state for the completion of a specified task sequence.

Approach to computing minimum initial marking of hybrid timed event graphs

Studies on the minimum initial marking of a class of hybrid timed petri nets

A Max-Plus Algebraic Model For Hybrid Timed Petri Nets And Supervisory Control

A Dioid Linear Algebraic Model for a Class of Hybrid Event Graphs

Study on max-plus algebraic model for hybrid Petri nets

Algebraic approach to continuous event graphs without input

A Min-Plus Algebraic Model For Performance Evaluation Of Continuous Event Graphs

A Dioid Linear Algebra Approach to Study a Class of Continuous Petri Nets

An Algorithm for Timing Verification of Systems Constrained by Min–max Inequalities

An algebraic model for performance evaluation of timed event multigraphs

Studies on a Solution to Optimal Parameters of Hybrid Processes

An Algebraic Model For Performance Evaluation Of A Class Of Continuous Petri Nets

Optimization of Deterministic Timed Weighted Marked Graphs.

Parametric Transformation of Timed Weighted Marked Graphs: Applications in Optimal Resource Allocation

A Novel Modeling and Optimal Control Method for Discrete-Event Chemical Processes

Marking Optimization Of Deterministic Timed Weighted Marked Graphs Under Infinite Server Semantics

Marking Optimization of Stochastic Timed Event Graphs Using IPA

Computing Maximum Reachability Probabilities in Markovian Timed Automata

Reachability Analysis for Timed Automata Using Max-Plus Algebra

MmpP: Maximum Marking Problems in Parallel

Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions Based on Minimal Explanations