Search Sciweavers | Sciweavers

184 search results - page 16 / 37

» Distributed Unfolding of Petri Nets

164

click to vote

ISSADS
2005
Springer

119views Distributed And Parallel Com...» more ISSADS 2005»

Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach

15 years 11 months ago

Download www.simflow.net

Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...

Wei Tan, Yushun Fan

claim paper

Read More »

105

click to vote

KBSE
2000
IEEE

71views Software Engineering» more KBSE 2000»

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources

15 years 10 months ago

Download www-higashi.ist.osaka-u.ac.jp

Khaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bo...

claim paper

Read More »

157

click to vote

APN
1997
Springer

127views Artificial Intelligence» more APN 1997»

Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course

15 years 10 months ago

Download www.daimi.au.dk

Søren Christensen, Kjeld Høyer Morte...

claim paper

Read More »

117

click to vote

MATES
2010
Springer

142views Intelligent Agents» more MATES 2010»

Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach

15 years 3 months ago

Download www.alg.ewi.tudelft.nl

Simon Adameit, Tobias Betz, Lawrence Cabac, Floria...

claim paper

Read More »

click to vote

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers