Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models
LIU Ting;LIN Chuang;LIU Wei-dong
Acta Electronica Sinica ›› 2002, Vol. 30 ›› Issue (2) : 245-248.
Linear Temporal Inference of Workflow Management System Based on Timed Petri Net Models
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |