Search Sciweavers | Sciweavers

1019 search results - page 105 / 204

» Petri Net Transformations in the

click to vote

APN
2006
Springer

99views Artificial Intelligence» more APN 2006»

On the Computation of Stubborn Sets of Colored Petri Nets

13 years 11 months ago

Download cedric.cnam.fr

Sami Evangelista, Jean-François Pradat-Peyr...

claim paper

Read More »

click to vote

APN
2000
Springer

363views Artificial Intelligence» more APN 2000»

Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool

13 years 11 months ago

Download is.tm.tue.nl

Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...

H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst

claim paper

Read More »

click to vote

IFIP
2000
Springer

122views Programming Languages» more IFIP 2000»

A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach

13 years 11 months ago

Download semag.dsi.uminho.pt

Ricardo Jorge Machado, João M. Fernandes, H...

claim paper

Read More »

click to vote

IFM
2000
Springer

111views Formal Methods» more IFM 2000»

A Concurrent and Compositional Petri Net Semantics of Preemption

13 years 11 months ago

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

claim paper

Read More »

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers