Kirjojen hintavertailu. Mukana 12 016 292 kirjaa ja 12 kauppaa.
Kirja.info

Kirjahaku

Etsi kirjoja tekijän nimen, kirjan nimen tai ISBN:n perusteella.

1000 tulosta hakusanalla Perri Forrest

Petri Net Technology for Communication-Based Systems

Petri Net Technology for Communication-Based Systems

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2003
nidottu
This volume, "Petri Net Technology for Communication-Based Systems," is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcommunication-basedsystems,withspecialfocusonwork?owmanagement and business processes. In the last 6 years this topic has been studied by the DFG Forschergruppe Petri Net Technology in Berlin in close cooperation with the international c- munity. The main results of this cooperation were presented at the 1st and 2nd InternationalColloquiaonPetriNetTechnologiesforModelingCommunication- Based Systems, held in Berlin in 1999 and 2001,respectively. A careful selection of contributions by members of the DFG Forschergruppe and by international experts in this ?eld are presented in this volume. Taking into account the fru- ful discussions during the two colloquia and the cross-refereeing process for the accepted papers, a high degree of common understanding was achieved, leading to a highly comprehensive presentation in this volume. The topics of the papers in this volume can be roughly classi?ed into the following two areas: - Petri net technology and - application to communication-based systems. Since most papers comprise aspects of both areas, we chose an alphabetic order. However, in the following we give a rough overview of the contributions in both areas according to the main focus of the corresponding papers.
Vertaile hintoja
Petri Nets and Other Models of Concurrency - ICATPN 2006

Petri Nets and Other Models of Concurrency - ICATPN 2006

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2006
nidottu
This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006. The book presents 16 revised full papers and 6 revised tool papers together with 4 invited papers. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.
Vertaile hintoja
Petri Nets for Systems Engineering

Petri Nets for Systems Engineering

Claude Girault; Rüdiger Valk

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2002
sidottu
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
Vertaile hintoja
Petri-Netz-Methoden und -Werkzeuge

Petri-Netz-Methoden und -Werkzeuge

Marek Leszak; Horst Eggert

Springer-Verlag Berlin and Heidelberg GmbH Co. K
1988
nidottu
Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet. In diesem Bericht werden 22 existierende Software-Werkzeuge (ohne Anspruch auf Vollständigkeit) klassifiziert und bewertet, die jeweils eine Teilmenge der denkbaren Untersuchungsmethoden unterstützen, bzw. einen graphischen Editor zur Netzkonstruktion aufweisen. Klassifikation und Bewertung der Merkmale erfolgten mittels eines speziellen Beschreibungskatalogs. Dabei wird erstmals versucht, die wichtigsten Klassen von Petri-Netzen zu bestimmen. Der zweite Teil des Berichts beschreibt informell (an Hand eines Beispiels) und formal (Definition der verwendeten Netzklassen und aller darauf realisierten Analyseverfahren) das Petri-Netz-Werkzeug PROVER (PRedicate/Transition Net Oriented VERification System). Neben einer Bestandsaufnahme von Petri-Netz-Werkzeugen werden im Buch formale Spezifikationsverfahren mit höheren Petri-Netzen in der Anwendung gezeigt, um einen formalen Zugang zu ermöglichen.
Vertaile hintoja
Petri Net Algebra

Petri Net Algebra

Eike Best; Raymond Devillers; Maciej Koutny

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2001
sidottu
In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con­ current : typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are characterised by ever increasing complexity, which results when large num­ bers of concurrently active components interact. This has been recognised and addressed within the computing science community. In particular, sev­ eral form al models of concurrent systems have been proposed, studied, and applied in practice. This book brings together two of the most widely used formalisms for de­ scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand , process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be­ haviour.
Vertaile hintoja
Petri Nets and Other Models of Concurrency - ICATPN 2007

Petri Nets and Other Models of Concurrency - ICATPN 2007

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2007
nidottu
This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland. It covers all current issues on research and development in the area of Petri nets and modeling of concurrent systems including system design and verification, structure and behavior of nets, logical and algebraic calculi, and standardization of nets.
Vertaile hintoja
Petri-Netze

Petri-Netze

Lutz Priese; Harro Wimmel

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2008
nidottu
Petri-Netze sind das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur über Unmöglichkeiten, Möglichkeiten und die Komplexität der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle für die Beweise notwendigen Techniken und mathematischen Begriffe werden erläutert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der Grundbegriffe und deren Zusammenhänge insbesondere auf einen Algorithmus für die Erreichbarkeitsfrage, die Ausdrucksfähigkeit verschiedener Berechnungsbegriffe, ausgewählte Fragen zur Entscheidbarkeit und Komplexität, sowie Petri-Netz Semantiken mittels Sprachen und partiell geordneten Mengen und deren algebraische Charakterisierung.
Vertaile hintoja
Perra, Padre, Promise

Perra, Padre, Promise

Ines E Veauthier

Peter Lang AG
2011
sidottu
Identitatsentwicklung im Spannungsfeld von Gender, Ethnizitat und Kultur steht im Mittelpunkt dieser Studie, die zwei Werke der zeitgenoessischen mexikanisch-amerikanischen Autorin Sandra Cisneros untersucht. Die Analyse basiert auf den Erkenntnissen der Genderforschung zur Konstruktion von Mannlichkeit und Weiblichkeit und dem Bedingungsgefuge der Chicano-Kultur. Mit diesem interdisziplinaren Ansatz und Konzepten wie Sprache, Spiritualitat und border/la frontera werden komplexe Strukturen in der Aushandlung individueller und kollektiver Identitatskonzepte entschlusselt. Die Untersuchung beleuchtet die sprach- und erzahlkunstlerische Vielschichtigkeit der beiden Erzahltexte und analysiert das vielfaltig verwobene Geflecht der symbolischen Bezuge.
Vertaile hintoja
Petri Net Workflow Modeling for Digital Publishing

Petri Net Workflow Modeling for Digital Publishing

Gustavo Adolfo Chaparro-Baquero

AV Akademikerverlag
2012
pokkari
Revision with unchanged content. Digital Publishing consists of different job treatment stages involved in the correct set up of each job to be printed, but this process has been seriously hampered by a number of difficulties including the management of faults and errors of incoming jobs. This work describes workflow modeling using Workflownets and Generalized Stochastic Petri Nets (GSPN) for the Digital Publishing business process and how the dependability attributes are measured in a quantitative form. In our novel approach, these are measured from the workflow model itself, improving the analysis tools necessary to achieve a good workflow process definition. Applying these measure con-cepts to the Digital Publishing pre-press process provides a workflow management based on its trustworthiness. We also propose a methodology for measuring dependability from a workflow process definition. The main contribution of this work is a methodology to obtain values of dependability attributes in a quantitative form from the workflow model instead from a combinatorial model adapting some methodologies and strategies for com-binatorial model construction to the creation of the workflow process definition. The book is addressed to professionals in Computer Science and Computer Engineering, as well as, persons related to the Digital Publishing Industry.
Vertaile hintoja
Peri-Implantitis

Peri-Implantitis

Prasanna Sawant; Sachin B Mangalekar; Pallavi Kamble

SCHOLARS' PRESS
2024
pokkari
Peri-implantitis is an inflammatory condition around dental implants, causing bone loss and implant failure. It arises from microbial biofilm, immune response, and risk factors like smoking and diabetes. Diagnosis involves clinical signs and radiographs, while treatment ranges from debridement to regenerative surgery. Preventive measures and early detection are key to improving long-term implant success.
Vertaile hintoja
Petri Nets for Systems Engineering

Petri Nets for Systems Engineering

Claude Girault; Rüdiger Valk

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2010
nidottu
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
Vertaile hintoja
Petri Net Algebra

Petri Net Algebra

Eike Best; Raymond Devillers; Maciej Koutny

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2010
nidottu
In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con­ current : typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are characterised by ever increasing complexity, which results when large num­ bers of concurrently active components interact. This has been recognised and addressed within the computing science community. In particular, sev­ eral form al models of concurrent systems have been proposed, studied, and applied in practice. This book brings together two of the most widely used formalisms for de­ scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand , process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be­ haviour.
Vertaile hintoja
Peri-urban futures: Scenarios and models for land use change in Europe

Peri-urban futures: Scenarios and models for land use change in Europe

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2013
sidottu
Presently, peri-urbanisation is one of the most pervasive processes of land use change in Europe with strong impacts on both the environment and quality of life. It is a matter of great urgency to determine strategies and tools in support of sustainable development. The book synthesizes the results of PLUREL, a large European Commission funded research project (2007-2010). Tools and strategies of PLUREL address main challenges of managing land use in peri-urban areas. These results are presented and illustrated by means of 7 case studies which are at the core of the book. This volume presents a novel, future oriented approach to the planning and management of peri-urban areas with a main focus on scenarios and sustainability impact analysis. The research is unique in that it focuses on the future by linking quantitative scenario modeling and sustainability impact analysis with qualitative and in-depth analysis of regional strategies, as well as including a study at European level with case study work also involving a Chinese case study.
Vertaile hintoja
Peri-urban futures: Scenarios and models for land use change in Europe

Peri-urban futures: Scenarios and models for land use change in Europe

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2015
nidottu
Presently, peri-urbanisation is one of the most pervasive processes of land use change in Europe with strong impacts on both the environment and quality of life. It is a matter of great urgency to determine strategies and tools in support of sustainable development. The book synthesizes the results of PLUREL, a large European Commission funded research project (2007-2010). Tools and strategies of PLUREL address main challenges of managing land use in peri-urban areas. These results are presented and illustrated by means of 7 case studies which are at the core of the book. This volume presents a novel, future oriented approach to the planning and management of peri-urban areas with a main focus on scenarios and sustainability impact analysis. The research is unique in that it focuses on the future by linking quantitative scenario modeling and sustainability impact analysis with qualitative and in-depth analysis of regional strategies, as well as including a study at European level with case study work also involving a Chinese case study.
Vertaile hintoja
1...2223242526...50