G-Nets: A petri net based approach for logical and timing analysis of complex software systems
- 1 October 1997
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 39 (1) , 39-59
- https://doi.org/10.1016/s0164-1212(96)00162-8
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Embedding fault-tolerant properties in the design of complex software systemsJournal of Systems and Software, 1994
- Processing fuzzy temporal knowledgeIEEE Transactions on Systems, Man, and Cybernetics, 1989
- Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating ThemIEEE Transactions on Software Engineering, 1985
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976