Search Sciweavers | Sciweavers

1019 search results - page 100 / 204

» Petri Net Transformations in the

123

Voted

APN
2001
Springer

105views Artificial Intelligence» more APN 2001»

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

15 years 11 months ago

Download www.letu.edu

Marian V. Iordache, Panos J. Antsaklis

claim paper

Read More »

165

Voted

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

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

15 years 11 months ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

118

click to vote

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

15 years 11 months ago

Download www.brics.dk

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

claim paper

Read More »

181

click to vote

COOPPN
2001
Springer

157views Programming Languages» more COOPPN 2001»

A Cooperative Petri Net Editor

15 years 11 months ago

Download soft.cs.tsinghua.edu.cn

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

claim paper

Read More »

126

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++

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers