Service net algebra based on logic Petri nets

DOI10.1016/J.INS.2013.10.014zbMATH Open1341.68130OpenAlexW1983393516MaRDI QIDQ726149FDOQ726149

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

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.

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)

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
• ν-Types for Effects and Freshness Analysis
• Modeling and monitoring of E-commerce workflows

Cited In (6)

• 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
• Possibilistic Petri nets as a basis for agent service description language
• Deadlock detection-oriented unfolding of unbounded Petri nets
• Web Service Orchestration with Super-Dual Object Nets

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)