Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation provides an overview of innovative behavior models currently used for developing embedded systems, accentuating graphical and visual notations.

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits.
The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool.
The ever-growing...

It introduces Martins' wide-ranging contributions to the social sciences, encompassing seminal works in the fields of philosophy and social theory, historical and political sociology, studies of science and technology, and Luso-Brazilian studies, among others.