|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings, pp. 1151-1161, 2007, Springer, 978-3-540-76630-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 5th Asia-Pacific Software Engineering Conference (APSEC '98), 2-4 December 1998, Taipei, Taiwan, ROC, pp. 377-, 1998, IEEE Computer Society, 0-8186-9183-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSMM ![In: Interactive Technologies and Sociotechnical Systems, 12th International Conference, VSMM 2006, Xi'an, China, October 18-20, 2006, Proceedings, pp. 318-327, 2006, Springer, 3-540-46304-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Pradeep Varakantham, Santosh Kumar Gangwani, Kamalakar Karlapalem |
On handling component and transaction failures in multi agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGecom Exch. ![In: SIGecom Exch. 3(1), pp. 32-43, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMB ![In: Measurement, Modelling and Evaluation of Computing Systems - 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings, pp. 317-321, 2018, Springer, 978-3-319-74946-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Simone Dominico, Eduardo Cunha de Almeida, Jorge Augusto Meira |
A PetriNet mechanism for OLAP in NUMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaMoN ![In: Proceedings of the 13th International Workshop on Data Management on New Hardware, DaMoN 2017, Chicago, IL, USA, May 15, 2017, pp. 7:1-7:4, 2017, ACM, 978-1-4503-5025-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 16(3), pp. 382, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Commun. Control ![In: Int. J. Comput. Commun. Control 10(2), pp. 174-187, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Yuta Ikeda, Satoshi Shimada, Takao Miura |
Well Formed PetriNet for Reachablility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SITIS ![In: Eighth International Conference on Signal Image Technology and Internet Based Systems, SITIS 2012, Sorrento, Naples, Italy, November 25-29, 2012, pp. 595-602, 2012, IEEE Computer Society, 978-1-4673-5152-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings, pp. 416-427, 2012, Springer, 978-3-642-31490-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Jie Chen, Liangwei Zhang, Jianqiang Luo |
Reconfiguration Cost Analysis Based on PetriNet for Manufacturing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. Eng. Appl. ![In: J. Softw. Eng. Appl. 2(5), pp. 361-369, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Nabil Sadou, Romaric Guillerm, Hamid Demmou |
ESA PetriNet: Petri net Based Tool for Reliability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009, pp. 4740-4745, 2009, IEEE, 978-1-4244-2794-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Hyunsoo Lee, Bikram Sharda, Amarnath Banerjee |
Representation and simulation of stochastic petrinet models using xPNML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 1063-1071, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Cornelia Richter-von Hagen, Dietmar Ratz, Roman Povalej |
Evolution of Petrinet Modeled Knowledge Intensive Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISTA ![In: Information Systems Technology and its Applications, 4th International Conference ISTA'2005, 23-25 May, 2005, Palmerston North, New Zealand, pp. 200-203, 2005, GI, 3-88579-392-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
32 | Jan Richling, Matthias Werner 0001, Louchka Popova-Zeugmann |
Automatic Composition of Timed Petrinet Specifications for a Real-Time Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2002 IEEE International Conference on Robotics and Automation, ICRA 2002, May 11-15, 2002, Washington, DC, USA, pp. 4065-4070, 2002, IEEE, 0-7803-7273-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Simona Bernardi 0001, Susanna Donatelli, José Merseguer |
From UML sequence diagrams and statecharts to analysable petrinet models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 35-45, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 46-54, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Tim Lewis, Russell J. Haines |
Formal verification to enhance evolution of protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1889-1890, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003, pp. 818-826, 2003, IEEE Computer Society / ACM, 1-58113-762-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WES ![In: Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers, pp. 93-108, 2002, Springer, 3-540-00198-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 11(1-2), pp. 163-185, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia (1) ![In: Proceedings of the 7th ACM International Conference on Multimedia '99, Orlando, FL, USA, October 30 - November 5, 1999, Part 1., pp. 215-224, 1999, ACM, 1-58113-151-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Gisbert Dittrich |
Tools for Modelling with Petri-Net like Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26 - March 4, 1989, Proceedings, pp. 191-199, 1989, Springer, 3-540-52215-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|