Service net algebra based on logic Petri nets

DOI10.1016/j.ins.2013.10.014zbMath1341.68130OpenAlexW1983393516MaRDI QIDQ726149

ShuXia Yu, Qiang Hu, YuYue Du

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)

Related Items (3)

Deadlock detection-oriented unfolding of unbounded Petri nets ⋮ Process mining with token carried data ⋮ Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs

Cites Work

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

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