Verwandte Artikel zu Transactions on Petri Nets and Other Models of Concurrency...
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
-Vicinity Respecting Homomorphisms for Abstracting System Requirements.- Search-Order Independent State Caching.- Bounded Parametric Model Checking for Elementary Net Systems.- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets .- Parametric Model Checking with VerICS.- Schedule-Aware Workflow Management Systems.- On-the-Fly Auditing of Business Processes.- Modeling Organizational Units as Modular Components of Systems of Systems.- A Multi-Agent Organizational Framework for Coevolutionary Optimization.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
