Search Sciweavers | Sciweavers

1369 search results - page 110 / 274

» On the Semantics of Petri Nets

176

click to vote

APN
2000
Springer

363views Artificial Intelligence» more APN 2000»

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

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

120

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

15 years 10 months ago

Download semag.dsi.uminho.pt

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

claim paper

Read More »

131

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 10 months ago

Download www.brics.dk

Allan Cheng

claim paper

Read More »

147

click to vote

WFLP
2000
Springer

99views Algorithms» more WFLP 2000»

Petri Nets, Flat Languages and Linear Arithmetic

15 years 10 months ago

Download skif.pereslavl.ru

Laurent Fribourg

claim paper

Read More »

123

click to vote

ICNP
1995
IEEE

77views Computer Networks» more ICNP 1995»

Petri net models for describing multimedia synchronization requirements

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers