Search Sciweavers | Sciweavers

1019 search results - page 103 / 204

» Petri Net Transformations in the

click to vote

ICRA
1993
IEEE

114views Robotics» more ICRA 1993»

A Class of Petri Nets with a Convex Reachability Set

13 years 12 months ago

Download bode.diee.unica.it

Alessandro Giua, Frank DiCesare

claim paper

Read More »

click to vote

APN
1994
Springer

79views Artificial Intelligence» more APN 1994»

A General Systematic Approach to Arc Extensions for Coloured Petri Nets

13 years 12 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

13 years 12 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

13 years 12 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

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers