|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 24 keywords
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
99 | Gen'ichi Yasuda |
Design and Implementation of Petrinet Based Distributed Control Architecture for Robotic Manufacturing Systems. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
Distributed control, manufacturing systems, industrial robotics, Petrinets |
81 | Junko Shirogane, Yoshiaki Fukazawa |
Method of User-Customizable GUI Generation and Its Evaluation. |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
Dialog Control, GUI, Prototype, Automatic, Petrinet |
54 | Hwa-Young Jeong |
Learner's Tailoring E-Learning System on the Item Revision Difficulty Using PetriNet. |
VSMM |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Pradeep Varakantham, Santosh Kumar Gangwani, Kamalakar Karlapalem |
On handling component and transaction failures in multi agent systems. |
SIGecom Exch. |
2002 |
DBLP DOI BibTeX RDF |
atomicity in agents, durability in agents, logging in agents, recovery in agents, Internet, multi agent system, agent |
32 | Christoph Brandau, Dietmar Tutsch |
Logical PetriNet A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits. |
MMB |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Simone Dominico, Eduardo Cunha de Almeida, Jorge Augusto Meira |
A PetriNet mechanism for OLAP in NUMA. |
DaMoN |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Jiwei Huang, Yeping Zhu, Bo Cheng 0001, Chuang Lin 0002, Junliang Chen |
A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems. |
Sensors |
2016 |
DBLP DOI BibTeX RDF |
|
32 | M. Deivamani, S. R. Murugaiyan, V. Ravisankar, P. Victer Paul, Ramachandran Baskaran, P. Dhavachelvan |
Web Service Composition Framework using Petrinet and Web Service Data Cache in MANET. |
Int. J. Comput. Commun. Control |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Yuta Ikeda, Satoshi Shimada, Takao Miura |
Well Formed PetriNet for Reachablility. |
SITIS |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Ulrich Winkler, Mathias Fritzsche, Wasif Gilani, Alan Marshall 0001 |
BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Jie Chen, Liangwei Zhang, Jianqiang Luo |
Reconfiguration Cost Analysis Based on PetriNet for Manufacturing System. |
J. Softw. Eng. Appl. |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Nabil Sadou, Romaric Guillerm, Hamid Demmou |
ESA PetriNet: Petri net Based Tool for Reliability Analysis. |
SMC |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Hyunsoo Lee, Bikram Sharda, Amarnath Banerjee |
Representation and simulation of stochastic petrinet models using xPNML. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Cornelia Richter-von Hagen, Dietmar Ratz, Roman Povalej |
Evolution of Petrinet Modeled Knowledge Intensive Processes. |
ISTA |
2005 |
DBLP BibTeX RDF |
|
32 | Jan Richling, Matthias Werner 0001, Louchka Popova-Zeugmann |
Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture. |
ICRA |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Simona Bernardi 0001, Susanna Donatelli, José Merseguer |
From UML sequence diagrams and statecharts to analysable petrinet models. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
modeling, UML, compositionality, GSPN |
32 | Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt |
Response time densities in generalised stochastic petrinet models. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Tim Lewis, Russell J. Haines |
Formal verification to enhance evolution of protocols. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
formal methods, petri-nets, protocols, genetic programming |
23 | Josep Carmona 0001, Jordi Cortadella |
ILP Models for the Synthesis of Asynchronous Control Circuits. |
ICCAD |
2003 |
DBLP DOI BibTeX RDF |
|
23 | H. M. W. Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst |
XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology. |
WES |
2002 |
DBLP DOI BibTeX RDF |
WF-net, XRL, PNML, XML, Workflow, enactment, Inter-organizational |
23 | Haoxun Chen, Hans-Michael Hanisch |
Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model. |
Discret. Event Dyn. Syst. |
2001 |
DBLP DOI BibTeX RDF |
condition /event systems, state reachability analysis, Petri nets, hybrid systems, modular modeling |
23 | Wasfi Al-Khatib, Arif Ghafoor |
An approach for video meta-data modeling and query processing. |
ACM Multimedia (1) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Gisbert Dittrich |
Tools for Modelling with Petri-Net like Nets. |
EUROCAST |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|