%0 Book %1 Reisig10 %A Reisig, Wolfgang %B Studium %C Wiesbaden %D 2010 %I Vieweg + Teubner %K 01624 103 springer book computer science system theory format concurrent %R 10.1007/978-3-8348-9708-4 %T Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien %X Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt. Die Inhalte werdenäußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. %@ 978-3-8348-1290-2

@book{Reisig10, abstract = {Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt. Die Inhalte werdenäußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen.}, added-at = {2016-12-30T16:23:54.000+0100}, address = {Wiesbaden}, author = {Reisig, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2b0d6fda74266c04ac72324495636cdac/flint63}, doi = {10.1007/978-3-8348-9708-4}, file = {SpringerLink:2010/Reisig10.pdf:PDF;Springer Product page:http\://www.springer.com/978-3-8348-1290-2:URL;Amazon Search inside:http\://www.amazon.de/gp/reader/3834812900/:URL}, groups = {public}, interhash = {3ea64721f081ea17785001a43b7c3751}, intrahash = {b0d6fda74266c04ac72324495636cdac}, isbn = {978-3-8348-1290-2}, keywords = {01624 103 springer book computer science system theory format concurrent}, publisher = {Vieweg + Teubner}, series = {Studium}, timestamp = {2017-07-13T17:45:16.000+0200}, title = {Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien}, username = {flint63}, year = 2010 }