Learn IT - Books tags petri

Language and Automata Theory and Applications: 5th International Conference

Springer, 2012

These proceedings contain the papers that were presented at the 5th International Conference on Language and Automata Theory and Applications (LATA 2011), held in Tarragona, Spain, during May 26–31, 2011.

The scope of LATA is rather broad, including: algebraic language theory; algorithms for semi-structured...

Real-Time Object Uniform Design Methodology with UML

Springer, 2007

The competitiveness of organizations facing globalization, information and communication technologies relies on strategic issues such as reuse of knowledge from past experiences to make higher quality decisions, deployment of innovative, fast methodological approaches for solving problems and building systems. Real-life systems are often...

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)

Birkhauser, 2006

Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework....

Time and Petri Nets

Springer, 2013

At first glance the concepts of time and of Petri nets are quite contrary: while time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and they represent events as concurrent systems. But if we take a closer look at how time and causality are intertwined we realize that there are many...

Applications of Generalized Nets

World Scientific Publishing, 1993

This book contains papers on almost all models of processes developed up to now, which are described on the basis of Generalized Hets (GHs). These extensions of Petri nets were described in my book "Generalized Hets" (World Scientific Pub], Co., Singapore, 1991). The results used from the bock "Generalized...

Analysis of Biological Networks (Wiley Series in Bioinformatics)

John Wiley & Sons, 2008

An introduction to biological networks and methods for their analysis

Analysis of Biological Networks is the first book of its kind to provide readers with a comprehensive introduction to the structural analysis of biological networks at the interface of biology and computer science. The book begins with a brief overview of biological networks...

Fuzzy Reasoning in Information, Decision and Control Systems (Intelligent Systems, Control and Automation: Science and Engineering)

Springer, 1994

This book is devoted to the study of fuzzy reasoning as applied to decision making and control processes. It contains a collection of important contributions covering a wide well-selected range of topics within the field.
The book contains twenty-one papers, written by thirty-four distinguished contributors and is divided into five...

FSM-based Digital Design using Verilog HDL

John Wiley & Sons, 2008

As digital circuit elements decrease in physical size, resulting in increasingly complex systems, a basic logic model that can be used in the control and design of a range of semiconductor devices is vital. Finite State Machines (FSM) have numerous advantages; they can be applied to many areas (including motor control, and signal and serial...

Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools

Springer, 2007

This book presents results of research achieved in friendly collaboration across borders and moreover between continents and emphasizes a belief in engineering science being for the benefit of mankind the world over. This aspect of the book’s ethos is epitomized by the authors’ profiles, one being from Central Europe and...

Transactions on Petri Nets and Other Models of Concurrency VIII (Lecture Notes in Computer Science)

Springer, 2013

The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification,...

Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

Springer, 2006

From the reviews:

"The present volume is the second one of a trilogy on formal development of large scale systems. Each topic is presented by means of many examples . The end of each chapter includes several exercises that demonstrate the topics in a more realistic setting. The quite large spectrum of modelling and specification...

Petri Nets: Fundamental Models, Verification and Applications

John Wiley & Sons, 2009

A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in operating and communication systems. The...

Result Page: 4 3 2 1