Sciweavers

1019 search results - page 94 / 204

» Petri Net Transformations in the

15

QEST
2009
IEEE

104views Modeling and Simulation» more QEST 2009»

Petri Net Analysis Using Decision Diagrams

14 years 2 months ago

Petri Net Analysis Using Decision Diagrams

Download www.qest.org

Gianfranco Ciardo

claim paper

Read More »

20

APN
2009
Springer

127views Artificial Intelligence» more APN 2009»

Oclets - Scenario-Based Modeling with Petri Nets

14 years 2 months ago

Oclets - Scenario-Based Modeling with Petri Nets

Download www2.informatik.hu-berlin.de

Dirk Fahland

claim paper

Read More »

23

APN
2009
Springer

144views Artificial Intelligence» more APN 2009»

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

14 years 2 months 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 »

16

MODELS
2009
Springer

102views Natural Language Processing» more MODELS 2009»

Formal Support for QVT-Relations with Coloured Petri Nets

14 years 2 months ago

Formal Support for QVT-Relations with Coloured Petri Nets

Download www.cs.colostate.edu

Juan de Lara, Esther Guerra

claim paper

Read More »

25

ACSD
2008
IEEE

114views Hardware» more ACSD 2008»

Modeling and verifying asynchronous communication mechanisms using coloured Petri nets

14 years 2 months 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 »