If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.
Customer service
All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com
Sale & Press
If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com
Help
If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.
Customer service
All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com
Sale & Press
If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com
Eine Systembewertung beinhaltet i.a. einen funktionalen und einen quantitativen Anteil. Zur Analyse funktionaler Aspekte stellen PetriNetze zum einen eine leicht zu handhabende Beschreibungsmglichkeit und zum anderen eine Vielzahl von, teilweise sehr effizienten, Analysetechniken zur Verfgung. Urn auch quantitative Aspekte erfassen zu knnen, wurde der Zeitbegriff nachtrglich in die PetriNetzModellwelt integriert (zeitbehaftete PetriNetze), wobei gerade in den letzten Jahren vornehmlich zeitbehaftete Modelle betrachtet werden, die MarkovProzesse beschreiben. Nachteilig wirkt sich dabei aus, daB wesentliche Eigenschaften fr das zeitbehaftete PetriNetz nicht erfllt sind, obwohl sie fr das entsprechende "zeitlose" PetriNetz gelten, so daB die oben angesprochenen Analysetechniken nicht mehr direkt anwendbar sind. In dieser Arbeit werden Beispiele fr solche F11e angegeben. Urn den EinfluB der Zeit modellmBig zu erfassen, wird gezeigt, daB PetriNetze mit einer Priorittszuordnung zu den Transitionen geeignet sind, diverse Formen zeitbehafteter PetriNetze bzgl. der Auswirkung der Zeitintegration auf funktionale Eigenschaften zu erfassen. Es wird mittels dieser Form der Petri Netze nachgewiesen, daB durch leicht berprfbare Restriktionen an die Form der Zeitintegration viele Eigenschaften des PetriNetzes invariant bleiben. Die hier betrachteten Eigenschaften (z.B. Beschrnktheit, Lebendigkeit, Existenz von home states) stellen dabei elementare Voraussetzungen fr eine quantitative Analyse, insbesondere Markovscher Modelle, dar. VI An dieser Stelle sei Herm Prof. Dr.Ing. H. Beilner und Herm Prof. Dr. G. Dittrich rur ihre Betreuung gedankt.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer,
birth defects, or other reproductive harm.
For MAP (Minimum Advertised Price) violations and Intellectual Property (IP) or Trademark concerns, please contact:
support@ergodebooks.com
⚠️ California Proposition 65 Warning: Some products sold on this website may expose you to chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm. For more information, visit www.P65Warnings.ca.gov.
