Search Sciweavers | Sciweavers

1019 search results - page 102 / 204

» Transformations of Petri Nets

159

click to vote

INFOCOM
1997
IEEE

113views Communications» more INFOCOM 1997»

Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model

15 years 10 months ago

Download www27.cs.kobe-u.ac.jp

The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...

Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers