Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models Shigemasa TAKAIYongming BAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/11/01 Vol. E89-ANo. 11pp. 3250-3253 Type of Manuscript: Special Section LETTER (Special Section on Concurrent/Hybrid Systems: Theory and Applications) Category: Concurrent Systems Keyword: unbounded Petri net, supervisory control, controllability, supremal controllable sublanguage,