Amanote Research
Register
Sign In
Counterexamples to “Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial-Order Methods”
IEEE Transactions on Automatic Control
- United States
doi 10.1109/tac.2004.831162
Full Text
Open PDF
Abstract
Available in
full text
Categories
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Date
July 1, 2004
Authors
X. Xie
A. Giua
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
