Key Points: "Introduced two correctness properties for adaptive workflow nets: soundness and circumspectness. - Soundness is in principle a modification of the definition for classical workflow nets. - Circumspectness is a new notion induced by the need to verify the enabledness of exception handling.
CÓ nhiều công thức toán nhưng không biết nó có ý nghĩa & lợi ích gì không
Transition thì có thể là một net. OK. Nhưng bài báo lại nói rằng là: token là một net con (token net) thì không hiểu được.
The paper discuss about properties of Object Petri Net. - "Another form of hierarchy is found in so-called object Petri nets or
object systems where a Petri net can contain Petri nets as its tokens
inducing a hierarchy of nested Petri nets that communicate by
synchronisation of transitions on different levels." - "Object Petri Nets (OPNs) are Petri nets that use Petri nets as tokens. The tokens are then usually called object nets or token nets. The top-level net is called system net."
For understanding: - The paper consider Adaptive Workflow Net. It is a subclass of nested net obtained by restricting the synchronization mechansim (sync between token net & system net - Token is actully a net : token net). The synchronization is allowed only on exception or proper termination of a token net.
Status: Dừng lại vì không hiểu Guard Expression. Nếu hiểu phải đọc nhiều paper hơn nhưng sợ formalism này không có ích lợi.
