Abstract: Due to their graphical representation and capability for property analysis, Petri nets (PNs) have been widely used in developing automated manufacturing systems (AMS). When doing so, it is ...
Abstract: This paper proposes a set of novel sufficient conditions that guarantee three behavioral properties in signal interpreted Petri nets (SIPNs), i.e., liveness, reachability, and reversibility.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback