Data processing: structural design – modeling – simulation – and em – Simulating nonelectrical device or system
Reexamination Certificate
2005-01-10
2009-12-01
Rodriguez, Paul L (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Simulating nonelectrical device or system
C703S013000, C714S001000
Reexamination Certificate
active
07627459
ABSTRACT:
A system and method for modeling complex dynamic systems whose properties are non-uniform in the time domain is disclosed. Aging tokens (tokens with memory) are used to tracking the age of a system as a whole, as well as its individual constituents, in the context of stochastic Petri nets.
REFERENCES:
patent: 4814978 (1989-03-01), Dennis
patent: 5257363 (1993-10-01), Shapiro et al.
patent: 6067357 (2000-05-01), Kishinsky et al.
patent: 6185469 (2001-02-01), Lewis et al.
patent: 6233540 (2001-05-01), Schaumont et al.
patent: 6321187 (2001-11-01), Squier et al.
patent: 6363494 (2002-03-01), Farah
patent: 6694505 (2004-02-01), Tan
patent: 6728664 (2004-04-01), Fouad
patent: 2001/0020230 (2001-09-01), Kaneko et al.
patent: 2002/0178285 (2002-11-01), Donaldson et al.
patent: 2003/0004679 (2003-01-01), Tryon, III et al.
patent: 2003/0191678 (2003-10-01), Shetty et al.
patent: 2004/0143725 (2004-07-01), Addison
patent: 2004/0167763 (2004-08-01), Liebman
patent: 2004/0225919 (2004-11-01), Reissman et al.
patent: 334075 (1998-12-01), None
Tamaki et al, “Simulation-Based Scheduling Package Using Generalized Petri Net Models”, Proceedings of the International Conference on Industrial Electronics, Control and Instrumentation, vol. 1, pp. 451-456, Nov. 15-19, 1993.
Zurawski et al, “Petri Nets and Industrial Applications: A Tutorial”, IEEE Transactions on Industrial Electronics, vol. 41, No. 6, Dec. 1994.
Chaillet et al, “Specification of FMS Real-Time Control Based on Petri Nets with Objects and Process Failure Monitoring”, Proceedings of the Industrial Electronics, Control and Instrumentation, vol. 1, pp. 144-149, Nov. 15-19, 1993.
Valette et al, “Monitoring Manufacturing Systems by Means of Petri Nets with Imprecise Markings”, Proceedings of the IEEE International Symposium on Intelligent Control, Sep. 25-26, 1989, pp. 233-238.
Srinivasan et al, “Fault Detection/Monitoring Using Time Petri Nets”, IEEE Transactions of Systems, Man and Cybernetics, vol. 23, No. 4, Jul./Aug. 1993 .
Peters et al, “The Application of Petri-Nets in Object Oriented Enterprise Simulations”, Proceedings of the Twenty-Sixth Hawaii International Conference on System Sciences, vol. IV, Jan. 5-8, 1993, pp. 390-398.
Zhou et al, “Modeling and Performance Analysis using Extended Fuzzy-Timing Petri Nets for Networked Virtual Environments”, IEEE Transactions on Systems, Man and Cybernetics-Part B: Cybernetics, vol. 30, No. 5, Oct. 2000.
Bobbio et al, “Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets”, Proceedings of the 8th International Workshop on Petri Nets and Performance Models, Sep. 8-10, 1999, pp. 82-91.
Carlson, Jan (“Languages and Methods for Specifying Real-Time Systems”, Department of Computer Engineering, Malardalen University, Vasteras, Sweden, 2000.
Johnson et al (“Survey of Software Tools for Evaluating Reliability, Availability and Serviceability”, ACM Computing Surveys, vol. 20, Issue 4, Dec. 1988, pp. 227-269.
Ghezzi et al, “A General Way to Put Time In Petri Nets”, Proceedings of the Fifth International Workshop on Software Specification and Design, pp. 60-67, May 1989.
Vojnar, Thomas, “Hierarchical and Time Extensions of Pure Object Oriented Petri Nets”, Proceedings of the 19th International Workshop on Advanced Simulation of Systems ASIS'97, 1997.
Liu, Zen, “Performance Analysis of Stochastic Times Petri Nets Using Linear Programming Approach”, IEEE Transactions on Software Engineering, vol. 24, No. 11, Nov. 1998.
Ruiz et al, “On Non-Decidability of Reachability for Timed-Arc Petri Nets”, Proceedings of the 8th International Workshop on Petri Nets and Performance Models, Sep. 8-10, 1999.
Gambin et al, “A Petri Nets Based Object Oriented Took for the Scheduling of Stochastic Flexible Manufacturing Systems”, Proceedings of the 7th International Conference on Emerging Technologies and Factory Automation, vol. 2, pp. 1091-1098, Oct. 18-21, 1999.
Georgia Tech Research Corporation
Jacob Mary C
Rodriguez Paul L
Thomas Kayden Horstemeyer & Risley LLP
LandOfFree
Systems and methods for reliability and performability... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Systems and methods for reliability and performability..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems and methods for reliability and performability... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4055637