Search Sciweavers | Sciweavers

941 search results - page 103 / 189

» History-Dependent Petri Nets

click to vote

APN
1994
Springer

79views Artificial Intelligence» more APN 1994»

A General Systematic Approach to Arc Extensions for Coloured Petri Nets

14 years 2 months ago

Download www.daimi.au.dk

Charles Lakos, Søren Christensen

claim paper

Read More »

click to vote

APN
1993
Springer

82views Artificial Intelligence» more APN 1993»

Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations

14 years 2 months ago

Download iaaa.cps.unizar.es

José A. Bañares, Pedro R. Muro-Medra...

claim paper

Read More »

click to vote

MFCS
1993
Springer

115views Theoretical Computer Science» more MFCS 1993»

Completeness Results for Linear Logic on Petri Nets

14 years 2 months ago

Download www.daimi.au.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

click to vote

REX
1993

123views Logical Reasoning» more REX 1993»

Linear Logic on Petri Nets

14 years 2 months ago

Download www.brics.dk

Uffe Engberg, Glynn Winskel

claim paper

Read More »

click to vote

REX
1993

143views Logical Reasoning» more REX 1993»

An Introduction to the Theoretical Aspects of Coloured Petri Nets

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers