topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
Struktur Und Analyse Von Free-Choice-Petrinetzen
ISBN: 9783824420308 / Niemiecki / Miękka / 1992 / 200 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird durch die Menge seiner Ablaufe oder durch seinen Erreichbarkeitsgraphen beschrie ben. Struktur und Verhalten hiingen eng zusammenj so lassen sich dynamische Systemeigenschaften oft mit Hilfe struktureller Methoden wie Deadlocks oder S-Invarianten beweisen. Fur die Analyse eines markierten Petrinetzes auf dynamische Eigenschaften reichen strukturelle Methoden dagegen meist nicht aus. So sind die meisten dynamischen Eigenschaften -wie z.B. die...
Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche Verteilung der Marken gegeben. Sein Verhalten wird d...
|
cena:
199,97 zł |
 |
Lectures on Concurrency and Petri Nets: Advances in Petri Nets
ISBN: 9783540222613 / Angielski / Miękka / 2004 / 852 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstatt, Germany in September 2003.In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state-of-the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational...
This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstatt, Germany in September 2003.In addition to lec...
|
cena:
389,09 zł |
 |
Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (Strict), Berlin, 11-13 May 1995
ISBN: 9783540199823 / Angielski / Miękka / 1995 / 352 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concurrency Theory (STRICT), held in Berlin, from 11 - 13 May 1995. Concurrency theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. This workshop was jointly organised by the Humboldt-Universitat zu Berlin and the ESPRIT Basic Research Working Group CALIBAN. CALIBAN and its predecessor DEMON are ESPRIT Basic Research projects with the aim of developing design...
This is the latest volume in the Workshops in Computing series, and contains the papers presented at the International Workshop on Structures in Concu...
|
cena:
194,52 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency XI
ISBN: 9783662534007 / Angielski / Miękka / 2016 / 319 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC. The 16 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of... The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Con... |
cena:
194,52 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency X
ISBN: 9783662486498 / Angielski / Miękka / 2015 / 177 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains:
- Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences- Special sections/issues within particular subareas (similar to those... These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool supp...
|
cena:
194,52 zł |
 |
Petrinetze, Lineare Algebra Und Lineare Programmierung: Analyse, Verifikation Und Korrektheitsbeweise Von Systemmodellen
ISBN: 9783815423127 / Niemiecki / Miękka / 1998 / 133 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Der Titel dieser Arbeit ist bereits ei ne kurze Inhaltsangabe. Es geht darum, die Matrixreprasentation von Petrinetzen in Gleichungs- und Ungleichungs systemen auszunutzen, urn Aussagen uber das Verhalten eines Netzmodells gewinnen oder beweisen zu konnen. Die Motivation fur die Verwendung linear-algebraischer Verfahren liegt in der Komplexitat des Verhaltens von Petrinetzen. So explodiert die Anzahl erreich barer Markierungen eines markierten Petrinetzes sowohl mit wachsender GroBe des Netzes als auch mit wachsender Zahl anfangs verteilter Marken. Eine di rekte Aufzahlung aller erreichbarer...
Der Titel dieser Arbeit ist bereits ei ne kurze Inhaltsangabe. Es geht darum, die Matrixreprasentation von Petrinetzen in Gleichungs- und Ungleichungs...
|
cena:
163,63 zł |
 |
Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings
ISBN: 9783540222354 / Angielski / Miękka / 2004 / 314 str. Termin realizacji zamówienia: ok. 20 dni roboczych. In recent years the management of business processes has emerged as one of the major developments to ease the understanding of, communication about, and evolution of process-oriented information systems in a variety of appli- tion domains. Based on explicit representations of business processes, process stakeholders can communicate about process structure, content, and possible improvements. Formal analysis, veri?cation and simulation techniques have the potential to show de?cits and to e?ectively lead to better and more ?exible processes. Process mining facilitates the discovery of process...
In recent years the management of business processes has emerged as one of the major developments to ease the understanding of, communication about, a...
|
cena:
194,52 zł |
 |
Modellierung ’99: Workshop der Gesellschaft für Informatik e.V. (GI), März 1999 in Karlsruhe
ISBN: 9783519002741 / Niemiecki / Miękka / 1999 / 200 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Bei der Entwicklung von Software- und Informationssystemen werden verschiedene Aspekte von Struktur und Verhalten eines Systems modelliert. Dazu stehen unterschiedliche Modellierungssprachen zur Verfugung. Das Fachgebiet Modellierung befasst sich mit derartigen Modellen sowie mit ihren Beziehungen untereinander und auch mit dem Prozess der Modellerstellung. Der Workshop Modellierung wird 1999 zum zweiten Mal von sieben Fachgruppen der Gesellschaft fur Informatik veranstaltet. Dieser Tagungsband enthalt 11 Fachbeitrage, die reprasentativ fur die verschiedenen Aspekte des Themas Modellierung...
Bei der Entwicklung von Software- und Informationssystemen werden verschiedene Aspekte von Struktur und Verhalten eines Systems modelliert. Dazu stehe...
|
cena:
181,65 zł |
 |
Free Choice Petri Nets
ISBN: 9780521019453 / Angielski / Miękka / 2005 / 256 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) 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...
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. ...
|
cena:
248,25 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
