Web Service Orchestration with Super-Dual Object Nets

DOI10.1007/978-3-540-73094-1_17MaRDI QIDQ3612938zbMATH OpenOpenAlexFDO

Authors Michael Köhler-Bußmeier, Heiko Rölke

Publication date 11 March 2009

Published in Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73094-1_17

zbMATH Keywords

dualityPetri netsrefinementnets-within-netssuper-dual nets

Mathematics Subject Classification ID

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

Recommendations

• Hierarchical Petri nets based software requirement refinement for Web service
• A Petri net approach for the design and analysis of web services choreographies
• scientific article; zbMATH DE number 1943786
• scientific article; zbMATH DE number 2088673
• Service net algebra based on logic Petri nets

Cited in

(1)

• Hierarchical Petri nets based software requirement refinement for Web service

Describes a project that uses

Uses Software

• Renew

This page was built for publication: Web Service Orchestration with Super-Dual Object Nets

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