Search Sciweavers | Sciweavers

1369 search results - page 107 / 274

» On the Semantics of Petri Nets

click to vote

APN
1997
Springer

127views Artificial Intelligence» more APN 1997»

Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course

14 years 2 months ago

Download www.daimi.au.dk

Søren Christensen, Kjeld Høyer Morte...

claim paper

Read More »

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

14 years 2 months ago

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

click to vote

TACAS
1997
Springer

134views Algorithms» more TACAS 1997»

A Brief Introduction to Coloured Petri Nets

14 years 2 months ago

Download www.daimi.au.dk

Kurt Jensen

claim paper

Read More »

click to vote

EURODAC
1994
IEEE

124views VHDL» more EURODAC 1994»

Parallel controller synthesis from a Petri net specification

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers