Travelled to:
1 × Luxembourg
Collaborated with:
D.Li D.Rosca
Talks about:
workflow (2) model (2) approach (1) resourc (1) analysi (1) verif (1) petri (1) dynam (1) net (1)
Person: Jiacun Wang
DBLP: Wang:Jiacun
Contributed to:
Wrote 2 papers:
- SEKE-2012-WangL #analysis #approach #modelling #petri net #workflow
- Resource Modeling and Analysis for Workflows: A Petri Net Approach (JW, DL), pp. 381–386.
- CAiSE-2006-WangR #modelling #verification #workflow
- Dynamic Workflow Modeling and Verification (JW, DR), pp. 303–318.