New Region-Based Algorithms for Deriving Bounded Petri Nets

[摘要]：The theory of regions was introduced in the early nineties as a method to bridge state and event-based models. This paper tackles the problem of deriving a Petri net from a state-based model, using the theory of regions. Some of the restrictions required

[全文传递流程]：

一般上传文献全文的时限在1个工作日内