Workflow Nets with Tables and Their Soundness
IEEE Transactions on Industrial Informatics（2019）
关键词
Data models,Automobiles,Petri nets,Licenses,Informatics,System recovery,Data requirements,first-order linear temporal logic (LTL-FO),workflow net
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要