Search Sciweavers | Sciweavers

211 search results - page 12 / 43

» Verification of Workflow Nets

129

click to vote

KBSE
2005
IEEE

91views Software Engineering» more KBSE 2005»

A threat-driven approach to modeling and verifying secure software

15 years 8 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 »

115

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 9 months ago

Download pdc.ece.uprm.edu

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

claim paper

Read More »

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 8 months ago

Download is.tm.tue.nl

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

claim paper

Read More »

click to vote

BPM
2005
Springer

82views Business» more BPM 2005»

Modeling and Assessment of Production Printing Workflows Using Petri Nets

15 years 8 months ago

Download bpm2005.loria.fr

Raju N. Gottumukkala, Tong Sun

claim paper

Read More »

130

click to vote

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers