Auflistung Informatik-Berichte nach Titel
Anzeige der Publikationen 63-66 von 66
-
2005-06-30BuchThe Dimensions of Petri Nets: The Petri Net Cube 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-01BuchTowards Agile Language Engineering 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-30BuchValidierung eines Petrinetz-basierten Steuerungssystems
-
2005-07-06BuchVerteilte Geschäftsprozesse modellieren und analysieren 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 ...