Search Sciweavers | Sciweavers

211 search results - page 12 / 43

» Verification of Workflow Nets

175

click to vote

KBSE
2005
IEEE

91views Software Engineering» more KBSE 2005»

A threat-driven approach to modeling and verifying secure software

16 years 1 days 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 »

158

click to vote

DASC
2006
IEEE

205views Applied Computing» more DASC 2006»

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

16 years 15 days ago

Download pdc.ece.uprm.edu

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

claim paper

Read More »

122

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

16 years 2 hour ago

Download is.tm.tue.nl

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

claim paper

Read More »

115

click to vote

BPM
2005
Springer

82views Business» more BPM 2005»

Modeling and Assessment of Production Printing Workflows Using Petri Nets

15 years 12 months ago

Download bpm2005.loria.fr

Raju N. Gottumukkala, Tong Sun

claim paper

Read More »

166

Voted

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers