Search Sciweavers | Sciweavers

941 search results - page 100 / 189

» History-Dependent Petri Nets

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

14 years 2 months ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

click to vote

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

14 years 2 months ago

Download www.brics.dk

Mogens Nielsen, Vladimiro Sassone, Jirí Srb...

claim paper

Read More »

click to vote

COOPPN
2001
Springer

157views Programming Languages» more COOPPN 2001»

A Cooperative Petri Net Editor

14 years 2 months ago

Download soft.cs.tsinghua.edu.cn

Rémi Bastide, Charles Lakos, Philippe A. Pa...

claim paper

Read More »

click to vote

PACT
2001
Springer

132views Distributed And Parallel Com...» more PACT 2001»

Experimental Version of Parallel Programs Translator from Petri Nets to C++

14 years 2 months ago

Download eps.dvo.ru

E. A. Golenkov, A. S. Sokolov, G. V. Tarasov, D. I...

claim paper

Read More »

click to vote

ICMCS
2000
IEEE

74views Multimedia» more ICMCS 2000»

A Petri-Net Based Multilevel Security Specification Model for Multimedia Documents

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers