Search Sciweavers | Sciweavers

969 search results - page 88 / 194

» Recursive Petri nets

click to vote

MODELS
2009
Springer

102views Natural Language Processing» more MODELS 2009»

Formal Support for QVT-Relations with Coloured Petri Nets

14 years 4 months ago

Download www.cs.colostate.edu

Juan de Lara, Esther Guerra

claim paper

Read More »

click to vote

ACSD
2008
IEEE

114views Hardware» more ACSD 2008»

Modeling and verifying asynchronous communication mechanisms using coloured Petri nets

14 years 4 months ago

Download www.embedded.ufcg.edu.br

Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...

Kyller Costa Gorgônio, Fei Xia

claim paper

Read More »

click to vote

ICEIS
2007
IEEE

112views Information Technology» more ICEIS 2007»

Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets

14 years 4 months ago

Download liris.cnrs.fr

Khouloud Boukadi, Chirine Ghedira, Zakaria Maamar,...

claim paper

Read More »

click to vote

APN
2007
Springer

73views Artificial Intelligence» more APN 2007»

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

14 years 4 months ago

Download www.ulb.ac.be

Pierre Ganty, Jean-François Raskin, Laurent...

claim paper

Read More »

click to vote

APN
2007
Springer

139views Artificial Intelligence» more APN 2007»

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers