Search Sciweavers | Sciweavers

1019 search results - page 100 / 204

» Petri Net Transformations in the

click to vote

APN
2001
Springer

105views Artificial Intelligence» more APN 2001»

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

14 years 10 days ago

Download www.letu.edu

Marian V. Iordache, Panos J. Antsaklis

claim paper

Read More »

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 10 days 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 10 days 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 10 days 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 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers