Travelled to:1 × Portugal
Collaborated with:B.F.v.Dongen W.M.P.v.d.Aalst
Talks about:reduct (1) verif (1) petri (1) rule (1) use (1) net (1) epc (1)
Person: H. M. W. Verbeek
DBLP: Verbeek:H=_M=_W=
Contributed to:
2005Wrote 1 papers:
- CAiSE-2005-DongenAV #petri net #reduction #using #verification
- Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.