Transactions on Petri Nets and Other Models of Concurrency XVIII

Transactions on Petri Nets and Other Models of Concurrency XI

The 11th volume of ToPNoC contains revised and extended versions of a selection of the best works...

Business Process Management

InhaltsangabeDesign of Business Processes.- Techniques for Modelling Workflows and their Support ...

Application and Theory of Petri Nets 1998

This volume contains the proceedings of the 19th annual International Conference on Application a...

Petrinetze, lineare Algebra und lineare Programmierung

Sehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Ve...

Das ist Informatik

Was ist Informatik? Was ist wesentlich in ihrer relativ jungen Geschichte? Wie grenzt sich die In...

Transactions on Petri Nets and Other Models of Concurrency X

These Transactions publish archival papers in the broad area of Petri nets and other models of co...

Integration of Software Specification Techniques for Applications in Engineering

This volume is a documentation of the main results in the research area 'In- gration of Software ...

Business Process Management

In recent years the management of business processes has emerged as one of the major developments...

Struktur und Analyse von Free-Choice-Petrinetzen

Die statische Struktur eines markierten Petrinetzes ist durch das Netz selbst und die anfangliche...

Structures in Concurrency Theory

This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was h...

Modellierung 99

InhaltsangabeANGENOMMENE ARBEITEN - Interaktive Prozeßmodellierung in einer Virtual Reality-gestü...