Data/hora: 09/06/2024 15:54:51

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	18/07/1996	
Data da última atualização: 	25/09/2009	
Autoria: 	PERKUSICH, A.; FIGUEIREDO, J. C. A. de.	
Título: 	A G-Net based environment for logical and timing analysis of software systems.	
Ano de publicação: 	1995	
Fonte/Imprenta: 	In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.	
Páginas: 	p. 241-256.	
Idioma: 	Inglês	
Conteúdo: 	The application of Petri nets for the modeling and verification of systems, at specification and design levels are well know. Despite of powerful structuring mechsanisms available in the Petri nets theory for the construction of the model of complex systems, the designer is still likely to face the problem of state explosion, when analysing and verifying large systems. Also, when dealing with real-time systems, the verification of timing properties is necessary. A model, named G-Nets, and a time extension, named Fuzzy Time G-Nets, were introduced to the modular analysis of complex real-time software systems. In this work we introduce an environment for logical and timing analysis based on this two kind of Petri nets.	
Palavras-Chave: 	Fuzzy Time G-Nets; G-Nets; Modelagem; verificação de sistema.	
Thesagro: 	Tecnologia.	
Thesaurus Nal: 	design.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (3534-1) - ADD - PL - PP - 005.1 - SIM - 1995.00009 - DIS