Abstract: A method and system is provided for verifying and certifying the safety logic of a manufacturing automation system including safety logic, where the logic may include one or more safety modules, routines, programs and tasks or a combination thereof; testing specifications corresponding to the safety logic; one or more formal model generators adapted for automatically transforming the safety logic and testing specifications through a logic parser into their respective mathematical models, formatted for example, as a Petri-net or binary decision diagram; a safety logic verifier configured for automatically comparing the safety logic formal model against the testing specification formal model to verify the safety logic model for the purpose of certifying the safety logic. The testing specifications may include testing of safety logic behavior including reaching safe state, remaining in safe state without reset, recovering from safe state with reset and remaining active with false alarm detection.

Abstract: Provided herein are systems useful in a manufacturing environment for transmitting operational commands to one or more workstations at which a workpiece is being acted upon by one or more pieces of manufacturing process equipment. A system according to the invention utilizes the 802.11a communication standard in conveying command signals wirelessly from a source to a programmable logic controller that is adapted to control the actions of a piece of manufacturing process equipment. A system according to the invention is adaptable to multiple-stage manufacturing operations through use of a plurality of receiving stations which are each equipped with a wireless modem in cooperative connection with a programmable logic controller that controls a particular piece of manufacturing process equipment at each stage.

Abstract: The method of the present invention involves card games in which the player plays multiple hands of cards during one play session. The cards are dealt out in horizontal fashion and may include three card, five card, seven card or higer card games. The player may wager on each horizontal row of cards dealt separately and each row of cards will be played as a separate poker game. The player may also make a separate wager (Parlay Wager) that will payoff if multiple winning hands are obtained in one play session. Additional versions of the game also provide for additional wagering. For example in a three card three hand game, the horizontal dealing of the cards are such that each row of cards are situated in sequential order so that first hand is directly over the second hand and the second hand is directly over the third so that a three card by three card matrix is created.