Modeling and monitoring of E-commerce workflows

DOI10.1016/j.ins.2008.11.025zbMath1189.68081OpenAlexW2005978107MaRDI QIDQ1007903

You Fu, Meng Chu Zhou, YuYue Du, Changjun Jiang

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

modelingmonitoringsoundnesselectronic commerce workflowlabeled workflow net

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)

Related Items (4)

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

Cites Work

• Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
• Formalizing the specification and execution of workflows using the event calculus
• Analyzing permutation capability of multistage interconnection networks with colored Petri nets
• Inheritance of workflows: An approach to tackling problems related to change
• Unnamed Item
• Unnamed Item

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