NAO Robot Information
See http://smart-machines.blogspot.com and http://www.aldebaran-robotics.com/eng/index.php The Nao humanoid Robot.
Nao documentation by Aldebaran
Baxter Robot Information
Marco Tempest uses charming stagecraft to demo EDI, the multi-purpose robot designed to work very closely with humans. Less a magic trick than an intricately choreographed performance, Tempest shows off the robot’s sensing technology, safety features and strength, and makes the case for a closer human-robot relationship. (Okay, there’s a little magic, too.)
Baxter Documentation by Rethink Robotics
How Rethink Robotics Built Its New Baxter Robot Worker by IEEE Spectrum
Petri net Tools
HPetriSim for Place/Transition Petri nets
YASPER for Fuzzy Petri nets
TINA for Time Petri nets
CPN Tools for Colored Petri nets
PIPE2 for Stochastic Petri nets
Petri net Articles
Introduction to Petri nets
Petri nets by J. Peterson, Journal of ACM Computing Surveys, Vol. 9, No. 3, 1977, pp.223-252
Petri nets: Properties, analysis and applications by T. Murata, Proceedings of the IEEE, Vol. 77, No. 4, 1989, pp.541-580
Introduction to Fuzzy Logic
Fuzzy Algorithms by L. Zadeh, Journal of Information and Control, Vol. 12, No. 2, 1968, pp.94-102
Fuzzy Logic: Computing with Words by L. Zadeh, IEEE Transactions of Fuzzy Systems, Vol. 4 No. 2, 1996, pp.103-111
Introduction to Fuzzy Petri nets
Knowledge Representation using Fuzzy Petri nets by S. Chen, J. Ke, and J. Chang, IEEE Transactions on Knowledge and Data Engineering, Vol. 2, No. 3, 1990, pp.311-319
Fuzzy Petri nets by P. Cheng and K. Forward, Proceedings of Knowledge-based Intelligent Electronic Systems, 1997, pp.402-408
Introduction to Time Petri nets
Modeling and verification of time dependent systems using time Petri nets by B. Berthomieu and M. Diaz, IEEE Transactions on Software Engineering, Vol. 17, No. 3, 1991, pp.259-273.
The tool TINA – Construction of abstract state spaces for petri nets and time petri nets by B. Berthomieu, P. Ribet and F. Vernadat, International Journal of Production Research, Vol. 42, No. 14, 2004, pp.2741-2756.
Introduction to Timed Petri nets
Use of Petri nets for Performance Evaluation by J. Sifakis, Proceedings of the Third International Symposium on Measuring, Modeling and Evaluating Computer Systems, 1977, pp.75-93.
An Approach to Performance Specification of Communication Protocols Using Timed Petri nets by K. Garg, IEEE Transactions on Software Engineering, Vol. SE-11, No. 10, 1985, pp.1216-1225.
Introduction to Colored Petri nets
An introduction to the theoretical aspects of Coloured Petri Nets by Kurt Jensen, A Decade of Concurrency Reflections and Perspectives, pp 230-272.
An introduction to systems modeling and simulation with Colored Petri Nets by V. Gehlot and C. Nigro, Proceedings of the 2010 Winter Simulation Conference, pp. 104-118.