Search Sciweavers | Sciweavers

1099 search results - page 94 / 220

» Petri net ontology

109

click to vote

APN
2001
Springer

105views Artificial Intelligence» more APN 2001»

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

15 years 10 months ago

Download www.letu.edu

Marian V. Iordache, Panos J. Antsaklis

claim paper

Read More »

145

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

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

15 years 10 months ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

105

click to vote

APN
2001
Springer

86views Artificial Intelligence» more APN 2001»

Towards a Notion of Distributed Time for Petri Nets

15 years 10 months ago

Download www.brics.dk

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

claim paper

Read More »

163

click to vote

COOPPN
2001
Springer

157views Programming Languages» more COOPPN 2001»

A Cooperative Petri Net Editor

15 years 10 months ago

Download soft.cs.tsinghua.edu.cn

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

claim paper

Read More »

115

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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers