## Home > Tags: nets (Total 39 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*

### Access Nets: Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers (Lecture ... and Telecommunications Engineering)

Telecommunications By:Chonggang Wang 2009-11-25 00:00:00

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Access Networks, AccessNets 2008, held in Las Vegas, NV, USA, in October 2008. The 30 revised full papers presented together with 5 invited papers were carefully reviewed and selected. access networks, international conference, las vegas, fundamental research advances, passive optical networks

Tags:
*telecommunications*
*network*
*engineering*
*access*
*vegas*
*lecture*
*nets*
*conference*
*papers*
*las*
*accessnets*

### 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*

### 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*

### Access Nets: Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers (Lecture ... and Telecommunications Engineering)

Telecommunications By:Chonggang Wang 2009-11-25 00:00:00

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Access Networks, AccessNets 2008, held in Las Vegas, NV, USA, in October 2008. The 30 revised full papers presented together with 5 invited papers were carefully reviewed and selected. access networks, international conference, las vegas, fundamental research advances, passive optical networks

Tags:
*telecommunications*
*network*
*engineering*
*access*
*vegas*
*lecture*
*nets*
*conference*
*papers*
*las*
*accessnets*

### Neural Nets WIRN10: Proceedings of the 20th Italian Workshop on Neural Nets - Volume 226 Frontiers in Artificial Intelligence and Applications - ... ... Intelligent Engineering Systems)

Computer Science By:B. Apolloni 2011-02-15 00:00:00

This book contains the proceedings of the annual meeting of the Italian Neural Network Society (SIREN), held in Vietri sul Mare, Italy in 2010. Subjects covered include methodological and implementational topics, which are grouped together into chapters devoted to models, signal processing and other intelligent engineering systems, neural nets, neural nets wirn10, neural network society, multimodal human-machine interaction

Tags:
*application*
*neural*
*system*
*engineering*
*intelligence*
*artificial*
*nets*
*proceedings*
*intelligent*
*frontiers*

### 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*