Design of a live and maximally permissive petri net controller using the theory of regions 论文

2003IEEE Transactions on Robotics and Automation引用 348
DOI
Petri Nets in System ModelingFormal Methods in VerificationReal-Time Systems Scheduling
Petri Nets in System ModelingFormal Methods in VerificationReal-Time Systems Scheduling
相关技术:Petri Nets in System ModelingFormal Methods in Verification
关系图谱

Design of a live and maximally permissive petri net controller using the theory of regions · 相关技术

相关技术

Petri Nets in System ModelingFormal Methods in Verification