Service net algebra based on logic Petri nets
From MaRDI portal
Publication:726149
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
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)