Modeling and monitoring of E-commerce workflows

DOI10.1016/J.INS.2008.11.025MaRDI QIDQ1007903zbMATH OpenOpenAlexFDO

Authors You Fu, YuYue Du, Changjun Jiang, MengChu Zhou

Publication date 24 March 2009

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2008.11.025

zbMATH Keywords

electronic commerce workflowlabeled workflow netmodelingmonitoringsoundness

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1445908
• Modeling E-service orchestration through Petri nets
• Interacting workflow nets for workflow process re-engineering
• Inter-organizational business process management with XML nets
• An architecture for work flows interoperability supporting electronic commerce

Cites work

• A formal methodology to specify e-commerce systems
• Analyzing permutation capability of multistage interconnection networks with colored Petri nets
• Formalizing the specification and execution of workflows using the event calculus
• scientific article; zbMATH DE number 1445908 (Why is no real title available?)
• Inheritance of workflows: An approach to tackling problems related to change
• Modeling and control of discrete-event dynamic systems with Petri nets and other tools.

Cited in

(4)

• Complexity of the deadlock problem for Petri nets modeling resource allocation systems
• Confusion analysis and detection for workflow nets
• Checking system boundedness using ordinary differential equations
• Service net algebra based on logic Petri nets

This page was built for publication: Modeling and monitoring of E-commerce workflows

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1007903)