Transformation of logical workflow nets

Wei Liu, Yuyue Du, Mengchu Zhou, Chun Yan

Research output: Contribution to journalArticlepeer-review

27 Scopus citations


Interorganizational logical workflow nets (LWNs) are formally proposed to represent the cooperations across organizations in this paper. The LWN transformation means that each organization involved in the agreement converts its agreement-level model to detailed one. The soundness of the interorganizational LWNs is introduced and analyzed. The transformation rules of LWNs are presented. The detailed model of each organization can be investigated based on its agreement-level model and the transformation rules. The concepts and techniques proposed in this paper are illustrated with an example of online shopping in electronic commerce.

Original languageEnglish (US)
Article number6783727
Pages (from-to)1401-1412
Number of pages12
JournalIEEE Transactions on Systems, Man, and Cybernetics: Systems
Issue number10
StatePublished - Oct 1 2014

All Science Journal Classification (ASJC) codes

  • Software
  • Control and Systems Engineering
  • Human-Computer Interaction
  • Computer Science Applications
  • Electrical and Electronic Engineering


  • Cooperative system
  • Logical workflow nets (LWNs)
  • Petri net (PN)
  • e-commerce
  • transformation
  • transformation rules


Dive into the research topics of 'Transformation of logical workflow nets'. Together they form a unique fingerprint.

Cite this