Search Sciweavers | Sciweavers

941 search results - page 116 / 189

» Haskell-Coloured Petri Nets

click to vote

EURODAC
1994
IEEE

124views VHDL» more EURODAC 1994»

Parallel controller synthesis from a Petri net specification

14 years 1 months ago

Download www.cecs.uci.edu

Krzysztof Bilinski, Erik L. Dagless, Jonathan M. S...

claim paper

Read More »

click to vote

ICRA
1993
IEEE

114views Robotics» more ICRA 1993»

A Class of Petri Nets with a Convex Reachability Set

14 years 1 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

14 years 1 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 1 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 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers