Search Sciweavers | Sciweavers

211 search results - page 18 / 43

» Verification of Workflow Nets

101

Voted

ACSC
2009
IEEE

148views Theoretical Computer Science» more ACSC 2009»

Verification of the SIP Transaction Using Coloured Petri Nets

15 years 3 months ago

Download crpit.com

The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...

Lin Liu

claim paper

Read More »

click to vote

WSC
1998

114views Modeling And Simulation» more WSC 1998»

Timed Petri Nets as a Verification Tool

15 years 1 months ago

Download www.informs-sim.org

This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...

Miryam Barad

claim paper

Read More »

click to vote

ENTCS
2006

148views more ENTCS 2006»

Towards the Semantics and Verification of BPEL4WS

14 years 11 months ago

Download www.is.pku.edu.cn

Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...

claim paper

Read More »

click to vote

ICCAD
2006
IEEE

91views Hardware» more ICCAD 2006»

Verification of analog/mixed-signal circuits using labeled hybrid petri nets

15 years 8 months ago

Download www.cecs.uci.edu

Scott Little, Nicholas Seegmiller, David Walter, C...

claim paper

Read More »