Research Article
Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding
Algorithm 1
Computation of an annotated CFP via an adaption of Algorithm
in [
7].
Input: An -safe Petri net system | Output: Fin an annotated CFP of | begin | Fin ; | Fin ; | (Fin); | ; | while do | ); | If () then | Fin; | Fin); | if , Fin, then | ; | Fin; | else |
|