KOBV Portal

Hits per page

hits 1 - 10 | 52 hits

Sorting

Book

Das ist Informatik / (2001)

Desel, Jörg, 1959-

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV013677466

Format: VIII, 159 S. : , Ill., graph. Darst.

ISBN: 3-540-41091-0

Language: German

Subjects: Computer Science

RVK:

ST 110

RVK:

SR 900

Keywords: Informatik ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung ; Aufsatzsammlung

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009345666&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Inhaltsverzeichnis

URL: Cover

Author information: Desel, Jörg, 1959-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

HWR Berlin

UB Potsdam

EUV Frankfurt

TH Brandenburg

TH Wildau

Berlin VÖBB/ZLB

BTU Cottbus

TU Berlin

Bundesarchiv

Book

Free choice Petri nets / (1995)

Desel, Jörg 1959- ; Esparza, Javier 1964-

Cambridge :Cambridge Univ. Press,

add to watchlist on the watchlist

Details

UID:

almafu_BV010122324

Format: VIII, 244 S. : graph. Darst.

Edition: 1. publ.

ISBN: 0-521-46519-2

Series Statement: Cambridge tracts in theoretical computer science 40

Language: English

Subjects: Computer Science

RVK:

ST 130

RVK:

ST 132

Keywords: Petri-Netz ; Free-choice-Netz

URL: Inhaltstext

Author information: Esparza, Javier 1964-

Author information: Desel, Jörg 1959-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

FU Berlin

UB Potsdam

BTU Cottbus

Book

Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11 - 13 May 1995 (1995)

Desel, Jörg, 1959- ; International Workshop on Structures in Concurrency Theory 1995 Berlin

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV010376885

Format: X, 352 S. : graph. Darst.

ISBN: 3-540-19982-9

Series Statement: Workshops in Computing

Language: English

Subjects: Computer Science

RVK:

SS 1995

RVK:

ST 140

Keywords: Nebenläufigkeit ; Konferenzschrift ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006908617&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Inhaltsverzeichnis

URL: Inhaltsverzeichnis (kostenfrei)

Author information: Desel, Jörg, 1959-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

Berlin VÖBB/ZLB

TU Berlin

Book

Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen (1998)

Desel, Jörg [Verfasser] 1959-

Stuttgart [u.a.] : Teubner

add to watchlist on the watchlist

Details

UID:

b3kat_BV011923294

Format: 133 S. , Ill.

ISBN: 3815423120

Series Statement: Teubner-Texte zur Informatik 26

Note: Zugl.: Berlin, Humboldt-Univ., Habil.-Schr., 1996

Language: German

Subjects: Computer Science

RVK:

ST 130

RVK:

ST 132

Keywords: Petri-Netz ; Lineare Algebra ; Lineare Optimierung ; Lineare Optimierung ; Petri-Netz ; Analyse ; Petri-Netz ; Lineare Algebra ; Lineare Optimierung ; Transitionssystem ; Hochschulschrift ; Hochschulschrift

URL: Inhaltsverzeichnis

URL: Cover

URL: Inhaltstext

Author information: Desel, Jörg 1959-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HTW Berlin

BTU Cottbus

TU Berlin

Book

Application and theory of Petri nets 1998 : 19th international conference, ICATPN '98, Lisbon, Portugal, June 22 - 26, 1998 ; proceedings (1998)

Desel, Jörg, 1959- ; ICATPN 19 1998 Lissabon

Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a. :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV012006536

Format: VIII, 384 S. : graph. Darst.

ISBN: 3-540-64677-9

Series Statement: Lecture notes in computer science 1420

Language: English

Subjects: Computer Science

RVK:

SS 1998

RVK:

ST 130

RVK:

SS 4800

Keywords: Petri-Netz ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Cover

Author information: Desel, Jörg, 1959-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

HU Berlin

FU Berlin

UB Potsdam

Online Resource

Transactions on Petri Nets and Other Models of Concurrency XI (2016)

Koutny, Maciej. [editor.] ; Desel, Jörg. [editor.] ; Kleijn, Jetty. [editor.] ; [et al.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almahu_9947364619702882

Format: XVIII, 319 p. 103 illus. , online resource.

ISBN: 9783662534014

Series Statement: Lecture Notes in Computer Science, 9930

Content: 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 published in the Advances in Petri Nets series)- Other papers invited for publication in ToPNoC- Papers submitted directly to ToPNoC by their authors. 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 Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Note: Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification -- A Petri-Net-Based Approach to Model and Analyze the Management of Cloud Applications -- Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets -- Validating DCCP Simultaneous Feature Negotiation Procedure -- Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-modeling and Transformation Framework -- Mining Conditional Partial Order Graphs from Event Logs -- Conditions for Petri Net Solvable Binary Words -- Self-Tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data -- A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms -- Negotiations and Petri Nets -- A Formal Framework for Diagnostic Analysis for Errors of Business Processes -- MCC 2015- The Fifth Model Checking Contest -- Running LoLA 2.0 in a Model Checking Competition -- MARCIE's Secrets of Efficient Model Checking -- Symbolic Model Checker for Petri Nets: pnmc -- TAPAAL and Reachability Analysis of P/T Nets.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783662534007

Language: English

Keywords: Konferenzschrift

DOI: 10.1007/978-3-662-53401-4

URL: http://dx.doi.org/10.1007/978-3-662-53401-4

URL: Volltext (URL des Erstveröffentlichers)

URL: Volltext (lizenzpflichtig)

URL: Cover

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

HU Berlin

UB Potsdam

HTW Berlin

BTU Cottbus

Online Resource

Das ist Informatik (2001)

Desel, Jörg [Verfasser]

Berlin, Heidelberg : Springer Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

b3kat_BV042432434

Format: 1 Online-Ressource (IX, 159S. 21 Abb)

ISBN: 9783642567742 , 9783540410911

Note: Was ist Informatik? Was ist wesentlich in ihrer relativ jungen Geschichte? Wie grenzt sich die Informatik ab gegenüber benachbarten Disziplinen, die auch zunehmend mit dem Einsatz von Rechnern zu tun haben? In welche Richtung geht ihre Entwicklung, die vom rasanten technischen Fortschritt und von gesellschaftlichen Veränderungen angetrieben wird? Welche Inhalte müssen in der Schule und in der Universität gelehrt werden, damit junge Menschen im späteren Berufsleben den Anforderungen gerecht werden können? Renommierte Wissenschaftler, die zum Teil die Informatik in Deutschland von Beginn an prägend begleitet haben, und führende Vertreter aus der Praxis geben in dem Buch Antworten auf diesen Fragenkreis. Das auch allgemein verständliche Buch richtet sich sowohl an Wissenschaftler und Praktiker der Informatik und angrenzender Fachrichtungen, die die aktuelle Diskussion über das Selbstverständnis der Informatik unter Berücksichtigung der Historie und der neuesten technischen Entwicklungen verfolgen wollen, als auch an Dozenten und Lehrer der Informatik sowie an Studierende und Schüler, die die Inhalte einer zukunftsorientierten und anwendungsnahen Informatikausbildung kennenlernen wollen

Language: German

Keywords: Informatik ; Aufsatzsammlung

DOI: 10.1007/978-3-642-56774-2

URL: Volltext

URL: Volltext (lizenzpflichtig)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

BTU Cottbus

TU Berlin

Book

Lectures on concurrency and Petri nets : advances in Petri nets (2004)

Desel, Jörg, 1959-

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV019380632

Format: VIII, 849 S. : , Ill., graph. Darst.

ISBN: 3-540-22261-8

Series Statement: Lecture notes in computer science 3098

Language: English

Subjects: Computer Science

RVK:

SS 4800

RVK:

ST 132

Keywords: Petri-Netz ; Nebenläufigkeit ; Petri-Netz ; Verteiltes System ; Aufsatzsammlung ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift

URL: Cover

URL: Einführung/Vorwort

URL: Inhaltsverzeichnis

URL: Inhaltstext

Author information: Desel, Jörg, 1959-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

UB Potsdam

Online Resource

Struktur und Analyse von Free-Choice-Petrinetzen / (1992)

Desel, Jörg

Wiesbaden :Deutscher Universitätsverlag,

add to watchlist on the watchlist

Details

UID:

almafu_BV042467741

Format: 1 Online-Ressource (XII, 200 S.).

ISBN: 978-3-663-14543-1 , 978-3-8244-2030-8

Series Statement: DUV: Datenverarbeitung

Note: 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 Erreich-., barkeit einer gegebenen Markierung - zwar entscheidbar, doch haben diese Entscheidungsprobleme sehr groBe untere Komplexitatsschranken, die wenig stens dem Konstruktionsaufwand des Erreichbarkeitsgraphen entsprechen. Eine effiziente Analyse basiert notwendigerweise auf der Struktur eines mar kierten Netzes. Sie ist also nur fur Netze moglich, deren relevante dynamische Eigenschaften durch strukturelle Eigenschaften charakterisiert werden. Fur Free-Choice-Petrindze wurde Anfang der 70er Jahren von Fred Commoner (damals ein Student am MIT) eine entsprechende Charakterisierung der dyna mischen Eigenschaft Lebendigkeit angegeben: ein Free-Choice-Netz ist genau dann lebendig, wenn jeder Deadlock einen markierten Trap enthiilt. Leider ermoglicht dieses Ergebnis aber keine effiziente Lebendigkeitsanalyse, denn das Nicht-Lebendigkeitsproblem fur Free-Choice-Netze wurde als NP-vollstandig nachgewiesen

Language: German

Keywords: Free-choice-Netz ; Dynamisches Verhalten ; Polynomialzeitalgorithmus ; Hochschulschrift ; Electronic books. ; Hochschulschrift ; Hochschulschrift

DOI: 10.1007/978-3-663-14543-1

URL: Volltext

URL: https://ebookcentral.proquest.com/lib/th-brandenburg/detail.action?docID=7207051

URL: Volltext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

FU Berlin

BTU Cottbus

TH Brandenburg

Book

Business process management : second International Conference, BPM 2004, Potsdam, Germany, June 17 - 18, 2004 ; proceedings (2004)

Desel, Jörg [Hrsg.] ; BPM 2 2004 Potsdam

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

gbv_389598518

Format: X, 305 S. , Ill., graph. Darst. , 235 mm x 155 mm

ISBN: 9783540222354 , 3540222359

Series Statement: Lecture notes in computer science 3080

Content: This book constitutes the refereed proceedings of the second International Conference on Business Process Management, BPM 2004, held in Potsdam, Germany in June 2004. The 19 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on business process modeling, formal models in business process management miscellaneous, analysis and verification of business processes, process mining, and workflow management

Additional Edition: Erscheint auch als Online-Ausgabe Desel, Jörg Business Process Management Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540222354

Language: English

Subjects: Computer Science , Economics

RVK:

QP 340

RVK:

SS 4800

Keywords: Prozessmanagement ; Informationsmodellierung ; Prozesskette ; Objekt-Prozess-Modell ; Konferenzschrift ; Kongress ; Konferenzschrift

URL: Einführung/Vorwort

URL: Cover

URL: Inhaltsverzeichnis

URL: http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3080

URL: http://www.loc.gov/catdir/enhancements/fy0813/2004107855-d.html

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

Berlin VÖBB/ZLB

hits 1 - 10 | 52 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg