Browsing Institut für Informatik by Title

Now showing items 63-66 of 66

2005-06-30Buch

The Dimensions of Petri Nets: The Petri Net Cube

Kindler, Ekkart; Weber, Michael

There exist many different Petri net formalisms. In this paper, we present the Petri Net Cube which helps to structure and classify the variety of Petri net formalisms. We show, that three basic aspects are sufficient for ...
2009-01-01Buch

Towards Agile Language Engineering

Sadilek, Daniel A.; Scheidgen, Markus; Wachsmuth, Guido; Weißleder, Stephan

Language engineering is software engineering concerned with computer languages. Agile language engineering is the result of adapting agile principles to language engineering. An agile language engineering process is ...
2005-06-30Buch

Validierung eines Petrinetz-basierten Steuerungssystems

Vesper, Tobias; Weber, Michael
2005-07-06Buch

Verteilte Geschäftsprozesse modellieren und analysieren

Reisig, Wolfgang; Schmidt, Karsten; Stahl, Christian

Verteilte Geschäftsprozesse nutzen das Internet, um auf heterogenen Rechnerstrukturen Dienste auszubieten. Modellierungstechniken und Implementierungssprachen für solche Dienste werfen im Vergleich mit herkömmlichen Rechnern ...