## Home > Tags: petri (Total 30 Records)

### Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)

Computer Science By:Wojciech Penczek , Agata Polrola 2006-00-00 00:00:00

This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that Computer Science

Tags:
*temporal*
*study*
*computational*
*approach*
*intelligence*
*nets*
*logic*
*automata*
*verification*
*time*
*petri*
*timed*

### A Polynomial Translation of Mobile Ambients into Safe Petri Nets: Understanding a Calculus of Hierarchical Protection Domains

Computer Science By:Susanne Gobel 2016-00-00 00:00:00

The master thesis of Susanne Gobel generates the deep understanding of the Mobile Ambient (MA) calculus that is necessary to use it as a modeling language. Instead of calculus terms a much more convenient representation via MA trees naturally maps to the application area of networks where processes safe petri nets, hierarchical protection domains, mobile ambients, polynomial translation, pspace-complete.a polynomial translation

Tags:
*mobile*
*nets*
*protection*
*calculus*
*translation*
*petri*
*domains*
*hierarchical*
*safe*
*polynomial*
*ambients*

### Carl Adam Petri: Life and Science

Computer Science By:Einar Smith, Tim Denvir 2015-00-00 00:00:00

The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an in-depth discussion of the background behind Petri's best-known contribution to computer science, the Petri net. In this way the b carl adam petri, science.carl adam petri, petri net, entertaining manner, remarkable personality

### Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)

Computer Science By:Jorg Desel 1995-01-27 00:00:00

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, choice petri nets, free choice petri, alike.free choice petri, cambridge tracts

Tags:
*computer*
*science*
*nets*
*choice*
*theoretical*
*petri*
*tracts*
*cambridge*

### Object Oriented Petri Net Approach to Embedded System Design (TIK-Schriftenreihe)

Misc Programs By:Robert Esser 1996-11-00 00:00:00

A methodology is described for the automated design of complex systems that are embedded in a technical environment and are subject to real time constraints. The functionality of such systems is typically implemented in the form of mixed hardware and software subsystems where the partitioning of an object oriented petri, oriented petri net, petri net approach, real time constraints, formal kernel language

Tags:
*design*
*system*
*object*
*approach*
*embedded*
*oriented*
*net*
*petri*

### Stochastic Petri Nets for Wireless Networks

Networking By:Lei Lei, Chuang Lin, Zhangdui Zhong 2015-00-00 00:00:00

This SpringerBrief presents research in the application of Stochastic Petri Nets (SPN) to the performance evaluation of wireless networks under bursty traffic. It covers typical Quality-of-Service performance metrics such as mean throughput, average delay and packet dropping probability. Along with stochastic petri nets, wireless networks, high-level petri nets, science.stochastic petri nets, wireless networksthis springerbrief

Tags:
*network*
*wireless*
*nets*
*stochastic*
*petri*

### Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets

Algorithms By:Wolfgang Reisig 1998-08-20 00:00:00

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this petri netsdistributed computing, algorithm, principal computing paradigm, graphically suggestive technique, wide area networks

Tags:
*analysis*
*distributed*
*algorithm*
*model*
*element*
*nets*
*petri*

### Transactions on Petri Nets and Other Models of Concurrency IX

Algorithms By:Koutny, Serge Haddad 2014-12-03 00:00:00

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E petri nets, annual petri net, concurrency ixthese transactions, rigorous two-stage refereeing, best workshop papers

Tags:
*model*
*nets*
*transaction*
*concurrency*
*petri*

### Modelling with Generalized Stochastic Petri Nets

Graphics Programs By:M. Ajmone Marsan 1995-11-28 00:00:00

Product Description: World renowned leaders in the field provide an accessible introduction to the use of Generalized Stochastic Petri Nets (GSPNs) for the performance analysis of diverse distributed systems. Divided into two parts, it begins with a summary of the major results in GSPN theory. The s generalized stochastic petri, stochastic petri nets, stochastic petri netsproduct, world renowned leaders, diverse distributed systems

Tags:
*model*
*generalized*
*nets*
*stochastic*
*petri*

### Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

Computer Science By:Claude Girault, Rudiger Valk 2003-00-00 00:00:00

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly 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 presents both practical and th petri nets, petri net formalisms, management systems.petri nets, formal methods, applicationsusing formal methods

Tags:
*guide*
*application*
*system*
*engineering*
*model*
*nets*
*verification*
*petri*