Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Application and Theory of Petri Nets and Concurrency

E-BookPDF1 - PDF WatermarkE-Book
466 Seiten
Englisch
Springer International Publishingerschienen am27.05.20231st ed. 2023
Verfügbare Formate
BuchKartoniert, Paperback
EUR85,59
E-BookPDF1 - PDF WatermarkE-Book
EUR85,59

Produkt

Details
Weitere ISBN/GTIN9783031336201
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2023
Erscheinungsdatum27.05.2023
Auflage1st ed. 2023
ReiheLecture Notes in Computer Science
Reihen-Nr.13929
Seiten466 Seiten
SpracheEnglisch
IllustrationenXV, 466 p. 188 illus., 89 illus. in color.
Artikel-Nr.11542002
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
Invited Talks.- From Process-Agnostic to Process-Aware Automation, Mining, and Prediction.- Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event Systems.- Process Mining.- There and Back Again: On the Reconstructability and Rediscoverabilty of Typed Jackson Nets.- ILP² Miner - Process Discovery for Partially Ordered Event Logs using Integer Linear Programming.- Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking.- Exact and Approximated Log Alignments for Processes with Inter-case Dependencies.- Semantics.- Taking Complete Finite Prefixes To High Level, Symbolically.- Interval Traces with Mutex Relation.- A Myhill-Nerode Theorem for Higher-Dimensional Automata.- Tools. -Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems.- Mochy : a tool for the modeling of concurrent hybrid systems.-Renew: Modularized Architecture and NewFeatures.- Explorative Process Discovery using Activity Projections.-Verification. -Computing Under-approximations of Multivalued Decision Diagram.-Stochastic Decision Petri Nets.- Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets.- On the Reversibility of Circular Conservative Petri Nets.- Automated Polyhedral Abstraction Proving. -Experimenting with Stubborn Sets on Petri Nets.- Timed Models.- Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. -A state class based controller synthesis approach for Time Petri Nets.- Model Transformation.- Transforming Dynamic Condition Response Graphs to safe Petri Nets.- Enriching Heraklit Modules by Agent Interaction Diagrams.mehr