Time, Petri nets, and robotics

This publication has 34 references indexed in Scilit:

• Modeling, validation and software implementation of production systems using high level Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Real time control of multilevel manufacturing systems using colored Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A formal model of computation for sensory-based robotics
  IEEE Transactions on Robotics and Automation, 1989
• Representation of FMS with Petri Net graph and its application to simulation of system operation
  Robotics and Computer-Integrated Manufacturing, 1987
• Performance evaluation of systems of cyclic sequential processes with mutual exclusion using Petri nets
  Information Processing Letters, 1985
• Discrete Time Stochastic Petri Nets
  IEEE Transactions on Software Engineering, 1985
• Performance evaluation of concurrent systems using Petri nets
  Information Processing Letters, 1984
• Performance Analysis Using Stochastic Petri Nets
  IEEE Transactions on Computers, 1982
• Enumerating the cycles of a digraph: A new preprocessing strategy
  Information Sciences, 1982
• A Methodology for the Design and Implementation of Communication Protocols
  IEEE Transactions on Communications, 1976