Home  Members  Projects  Resources
NAO Robots  Baxter Robots  Petri net Tools  Petri net Articles
NAO Robot Information
Nao Robot
See http://smartmachines.blogspot.com and http://www.aldebaranrobotics.com/eng/index.php The Nao humanoid Robot.
Nao documentation by Aldebaran
Baxter Robot Information
Maybe the best robot demo ever  Marco Tempest
Marco Tempest uses charming stagecraft to demo EDI, the multipurpose 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 humanrobot 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

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.223252
Petri nets: Properties, analysis and applications by T. Murata, Proceedings of the IEEE, Vol. 77, No. 4, 1989, pp.541580
Introduction to Fuzzy Logic
Fuzzy Algorithms by L. Zadeh, Journal of Information and Control, Vol. 12, No. 2, 1968, pp.94102
Fuzzy Logic: Computing with Words by L. Zadeh, IEEE Transactions of Fuzzy Systems, Vol. 4 No. 2, 1996, pp.103111
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.311319
Fuzzy Petri nets by P. Cheng and K. Forward, Proceedings of Knowledgebased Intelligent Electronic Systems, 1997, pp.402408
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.259273.
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.27412756.
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.7593.
An Approach to Performance Specification of Communication Protocols Using Timed Petri nets by K. Garg, IEEE Transactions on Software Engineering, Vol. SE11, No. 10, 1985, pp.12161225.
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 230272.
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. 104118.