01398naa a2200217 a 450000100080000000500110000800800410001910000180006024500830007826000090016130000160017052007310018665000110091765000150092865300220094365300110096565300140097665300290099070000280101977301330104710029672009-09-25       1995    bl uuuu     u00u1 u    #d1 aPERKUSICH, A.  aA G-Net based environment for logical and timing analysis of software systems.  c1995  ap. 241-256.  aThe 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.  adesign  aTecnologia  aFuzzy Time G-Nets  aG-Nets  aModelagem  averificação de sistema1 aFIGUEIREDO, J. C. A. de  tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.