Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 174 | << page >> |
Sort by
|
Book
ISBN: 9819968593 Year: 2023 Publisher: Singapore : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540555978 Year: 1992 Publisher: Berlin : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 2001 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Proceedings of a September 2001 conference held in Aachen, Germany to discuss areas of timed and stochastic Petri nets and their usage for performance and dependability evaluation. Twenty-three contributions are arranged in sections on application studies; analysis of large models; reachability graphic construction; non-Markovian and fluid models; formal foundation; timed nets; and modeling frameworks and tools. A sampling of topics: simulation based performance analysis of web servers, embedded processes in generalized stochastic Petri nets, time domain analysis of NMSPN with PRI transitions, equivalence and aggregation of GSPNs with labeled transitions. Indexed by author only, not subject. c. Book News Inc.
Book
Year: 1999 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Contains 22 contributions selected from the September 1998 International Workshop on Petri Nets and Performance Models held in Zaragoza, Spain. Contributions, submitted by authors from the US, Canada, Europe, Singapore, and South Africa, are divided into thematic sections addressing solution techniques, telecommunication applications, non-Markovian nets, manufacturing applications, formalisms, MAX/PLUS algebra, and timed nets. Also includes the text of an invited talk by William Sanders on integrated frameworks for multi-level and multi-formalism modeling. Author-indexed only. Annotation copyrighted by Book News, Inc., Portland, OR.
Book
Year: 2001 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Proceedings of a September 2001 conference held in Aachen, Germany to discuss areas of timed and stochastic Petri nets and their usage for performance and dependability evaluation. Twenty-three contributions are arranged in sections on application studies; analysis of large models; reachability graphic construction; non-Markovian and fluid models; formal foundation; timed nets; and modeling frameworks and tools. A sampling of topics: simulation based performance analysis of web servers, embedded processes in generalized stochastic Petri nets, time domain analysis of NMSPN with PRI transitions, equivalence and aggregation of GSPNs with labeled transitions. Indexed by author only, not subject. c. Book News Inc.
Book
Year: 1999 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Contains 22 contributions selected from the September 1998 International Workshop on Petri Nets and Performance Models held in Zaragoza, Spain. Contributions, submitted by authors from the US, Canada, Europe, Singapore, and South Africa, are divided into thematic sections addressing solution techniques, telecommunication applications, non-Markovian nets, manufacturing applications, formalisms, MAX/PLUS algebra, and timed nets. Also includes the text of an invited talk by William Sanders on integrated frameworks for multi-level and multi-formalism modeling. Author-indexed only. Annotation copyrighted by Book News, Inc., Portland, OR.
Book
Year: 2019 Publisher: Karlsruhe : KIT Scientific Publishing,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Wartungsfehler sind einer der häufigsten Gründe für IT-Service-Ausfälle und können bei IT-Service-Anbietern Schäden in Millionenhöhe verursachen. In diesem Buch wird eine Methode vorgestellt, die es IT-Service-Anbietern ermöglicht, Wartungsfehler automatisiert während der Durchführung einer IT-Service-Wartung zu erkennen. Dadurch können Wartungsfehler behoben werden, bevor sie Schaden anrichten können. IT services are subject of several maintenance operations like upgrades, reconfigurations or redeployments. Operator errors are one of the main reasons for IT service failures. They can lead to losses running into the millions for IT service providers. This book describes a method, which allows IT service providers to detect operator errors automatically online right when they appear. Thereby, operator errors can be fixed before they can do harm.
Book
ISBN: 0511526555 Year: 1995 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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, which play a central role in the theory. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike.
Book
ISBN: 9783642002830 3642002838 Year: 2009 Publisher: Dordrecht Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 9780818606748 0818606746 Year: 1985 Publisher: Silver Spring: IEEE Computer society,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Petri Nets --- Proceedings --- Ieee
| Listing 1 - 10 of 174 | << page >> |
Sort by
|