Resources

Home | Members | Projects | Resources

NAO Robots | Baxter Robots | Petri net Tools | Petri net Articles

NAO Robot Information

Nao Robot

See http://smart-machines.blogspot.com and http://www.aldebaran-robotics.com/eng/index.php The Nao humanoid Robot.

NAO Robots: SoftBank Robotics

Nao documentation by Aldebaran

Baxter Robot Information

Maybe the best robot demo ever | Marco Tempest

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

    TINA for Time 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.