Sciweavers

1019 search results - page 94 / 204

» Petri Net Transformations in the

130

QEST
2009
IEEE

104views Modeling and Simulation» more QEST 2009»

Petri Net Analysis Using Decision Diagrams

16 years 1 months ago

Petri Net Analysis Using Decision Diagrams

Download www.qest.org

Gianfranco Ciardo

claim paper

Read More »

123

APN
2009
Springer

127views Artificial Intelligence» more APN 2009»

Oclets - Scenario-Based Modeling with Petri Nets

16 years 28 days ago

Oclets - Scenario-Based Modeling with Petri Nets

Download www2.informatik.hu-berlin.de

Dirk Fahland

claim paper

Read More »

139

APN
2009
Springer

144views Artificial Intelligence» more APN 2009»

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets

16 years 28 days ago

DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets

Download www-dssz.informatik.tu-cottbus.de

Monika Heiner, Martin Schwarick, Alexej Tovchigrec...

claim paper

Read More »

110

MODELS
2009
Springer

102views Natural Language Processing» more MODELS 2009»

Formal Support for QVT-Relations with Coloured Petri Nets

16 years 26 days ago

Formal Support for QVT-Relations with Coloured Petri Nets

Download www.cs.colostate.edu

Juan de Lara, Esther Guerra

claim paper

Read More »

161

ACSD
2008
IEEE

114views Hardware» more ACSD 2008»

Modeling and verifying asynchronous communication mechanisms using coloured Petri nets

16 years 25 days ago

Modeling and verifying asynchronous communication mechanisms using coloured Petri nets

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 »

« Prev « First page 94 / 204 Last » Next »