Patents by Inventor Catherine Colin

Catherine Colin has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Method for assisting the development of a set of communicating automata
    Patent number: 5291427
    Abstract: In a method for assisting with the development of a set of communicating automata a development machine is supplied with a description of initial elementary Petri nets respectively modeling partial behaviors of each function. The development machine is then used to verify that each initial net has the required properties. The development machine is then told a plurality of nets to be combined and a communication mode. The development machine is then used to verify that the net resulting from this combination has the required properties. The initial Petri nets are then modified if the net obtained does not have the required properties.
    Type: Grant
    Filed: July 15, 1992
    Date of Patent: March 1, 1994
    Assignee: Alcatel N.V.
    Inventors: Bernard Loyer, Catherine Colin