Service net algebra based on logic Petri nets

DOI10.1016/J.INS.2013.10.014MaRDI QIDQ726149zbMATH OpenOpenAlexFDO

Authors Qiang Hu, YuYue Du, ShuXia Yu

Publication date 8 July 2016

Published in Information Sciences (Search for Journal in Brave)

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

zbMATH Keywords

Petri netreuseservice net algebraservice process

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Fundamental Approaches to Software Engineering
• A Petri net-based semantic Web service automatic composition method
• Service oriented computing from a process algebraic perspective
• Compositional Service Trees
• Analysis and simulation of Web services.

Cites work

• Formal methods for web services. 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1--6, 2009. Advanced lectures
• Modeling and model checking web services
• Modeling and monitoring of E-commerce workflows
• ν-Types for Effects and Freshness Analysis

Cited in

(6)

• Web Service Orchestration with Super-Dual Object Nets
• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
• Compositional Service Trees
• Process mining with token carried data
• Deadlock detection-oriented unfolding of unbounded Petri nets
• Possibilistic Petri nets as a basis for agent service description language

This page was built for publication: Service net algebra based on logic Petri nets

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