Search Sciweavers | Sciweavers

941 search results - page 102 / 189

» History-Dependent Petri Nets

164

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

15 years 10 months ago

Download www.daimi.au.dk

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

claim paper

Read More »

139

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

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

15 years 10 months ago

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

140

click to vote

TACAS
1997
Springer

134views Algorithms» more TACAS 1997»

A Brief Introduction to Coloured Petri Nets

15 years 10 months ago

Download www.daimi.au.dk

Kurt Jensen

claim paper

Read More »

127

click to vote

EURODAC
1994
IEEE

124views VHDL» more EURODAC 1994»

Parallel controller synthesis from a Petri net specification

15 years 10 months ago

Download www.cecs.uci.edu

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

claim paper

Read More »

138

click to vote

ICRA
1993
IEEE

114views Robotics» more ICRA 1993»

A Class of Petri Nets with a Convex Reachability Set

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers