|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Carmen Mac Williams, Richard Wages |
Video conducting the olympic games 2008: the iTV field trial of the EU-IST project LIVE. |
DIMEA |
2008 |
DBLP DOI BibTeX RDF |
intelligent content, intelligent television services, net-composition, non-linear storytelling, video conductor, broadcasting, media, digital television, ITV, live performance |
16 | Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev |
Synthesizing Petri nets from state-based models. |
ICCAD |
1995 |
DBLP DOI BibTeX RDF |
Petri nets, Synthesis, Finite State Machines, Asynchronous Circuits, Transition Systems |
14 | Elvio G. Amparore, Susanna Donatelli |
The Ins and Outs of Petri Net Composition. |
Petri Nets |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Liang Qi, Wenjing Luan, Xiaoyu Sean Lu, Xiwang Guo |
Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Charles Lesire, Franck Pommereau |
ASPiC: An Acting System Based on Skill Petri Net Composition. |
IROS |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
Petri Net Semantics of the Finite pi-Calculus. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
8 | Christoph Eichner, Hans Fleischhack, Roland Meyer 0001, Ulrik Schrimpf, Christian Stehno |
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|