Search Sciweavers | Sciweavers

211 search results - page 12 / 43

» Verification of Workflow Nets

153

click to vote

KBSE
2005
IEEE

91views Software Engineering» more KBSE 2005»

A threat-driven approach to modeling and verifying secure software

15 years 11 months ago

Download www.cs.ndsu.nodak.edu

This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...

Dianxiang Xu, Kendall E. Nygard

claim paper

Read More »

137

click to vote

DASC
2006
IEEE

205views Applied Computing» more DASC 2006»

Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling

15 years 11 months ago

Download pdc.ece.uprm.edu

Gustavo A. Chaparro-Baquero, Nayda G. Santiago, Wi...

claim paper

Read More »

113

click to vote

APN
2005
Springer

104views Artificial Intelligence» more APN 2005»

Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets

15 years 11 months ago

Download is.tm.tue.nl

Moe Thandar Wynn, David Edmond, Wil M. P. van der ...

claim paper

Read More »

106

Voted

BPM
2005
Springer

82views Business» more BPM 2005»

Modeling and Assessment of Production Printing Workflows Using Petri Nets

15 years 11 months ago

Download bpm2005.loria.fr

Raju N. Gottumukkala, Tong Sun

claim paper

Read More »

148

click to vote

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers