Digital system design process automation using place/transition petri nets

The constant increase in digital systems complexity definitely demands the automation of the corresponding synthesis process. This paper presents a computational environment designed to produce both software and hardware implementations of a system. The tool for code generation has been named ACG8051. As for the hardware synthesis there has been produced a larger environment consisting of four programs, namely: PIPE2TAB, AGPS, TABELA, and TAB2VHDL. ACG8051 and PIPE2TAB use place/transition net descriptions from PIPE as inputs. ACG8051 is aimed at generating assembly code for the 8051 micro-controller. PIPE2TAB produces a tabular version of a Mealy type finite state machine of the system, its output is fed into AGPS that is used for state allocation. The resulting digital system is then input to TABELA, which minimizes control functions and outputs of the digital system. Finally, the output generated by TABELA is fed to TAB2VHDL that produces a VHDL description of the system at the register transfer level. Thus, we present here a set of tools designed to take a high-level description of a digital system, represented by a place/transition net, and produces as output both an assembly code that can be immediately run on an 8051 micro-controller, and a VHDL description that can be used to directly implement the hardware parts either on an FPGA or as an ASIC.

Automatic code generation for microcontrollers from place-transition Petri net models

This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture. © 2011 IFAC.

Building sustainable values in organizations with the support of human resource management: Evidence from one firm considered as the 'best place to work' in Brazil

Researchers and other professionals unanimously agree that companies should become more sustainable, but this will not happen without the support of human resource management. Paradoxically, there is a lack of information on the support human resource management offers to organizational sustainability applied to real cases. Therefore, this research presents a case study on this topic that was carried out in a leading Brazilian company, which is considered as a model and has been selected as 'the best place to work in the country'. The results provide practical examples of how this family company has been working to guarantee an increasingly sustainable performance with the support of human resources, highlighting the achievements and challenges the company has faced. One of the main results indicates that companies seeking to achieve sustainability need the assistance of the human resource field in order to design a communication system which bridges the gap between practices and sustainable values. © 2012 Management Centre for Human Values.

Latin America's place in world trade

Includes bibliography

Resolución 446(XIX): Lugar y fecha del próximo período de sesiones = Resolution 446(XIX): Date and place of next session = Résolution 446(XIX): Lieu et date de la prochaine session

Publicado separadamete en cada idioma