IEEE - Institute of Electrical and Electronics Engineers, Inc. - Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming

Author(s): Ziyue Ma ; Guanghui Zhu ; Zhiwu Li ; Alessandro Giua
Sponsor(s): IEEE Control Systems Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (CD): 2334-3303
ISSN (Electronic): 1558-2523
ISSN (Paper): 0018-9286
DOI: 10.1109/TAC.2019.2942570
Regular:

We study the computation of admissible marking sets in generalized Petri nets. We first show that the admissibility checking in generalized Petri net is NP-hard. Then we consider a special... View More

Advertisement