Service net algebra based on logic Petri nets
type: Item
instance of: scholarly article
title: Service net algebra based on logic Petri nets
zbMATH Open document ID: 1341.68130
author: Qiang Hu
author: YuYue Du
author: ShuXia Yu
published in: Information Sciences
publication date: 2016-07-08T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6602271
zbMATH Keywords: service net algebra
zbMATH Keywords: service process
zbMATH Keywords: reuse
zbMATH Keywords: Petri net
MaRDI profile type: Publication
full work available at URL: j.ins.2013.10.014
OpenAlex ID: W1983393516
cites work: Q1019128
cites work: ν-Types for Effects and Freshness Analysis
cites work: Modeling and monitoring of E-commerce workflows
cites work: Modeling and model checking web services
DOI: 10.1016/J.INS.2013.10.014
description: scientific article; zbMATH DE number 6602271