Vor Ort
Merkzettel Warenkorb
Produktbild: Application and Theory of Petri Nets and Concurrency
- 11%

Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings

Aus der Reihe Lecture Notes in Computer Science
11% sparen

77,99 € UVP 87,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.05.2023

Herausgeber

Luis Gomes + weitere

Verlag

Springer

Seitenzahl

466

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

727 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-33619-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.05.2023

Herausgeber

Verlag

Springer

Seitenzahl

466

Maße (L/B/H)

23,5/15,5/2,7 cm

Gewicht

727 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-33619-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Application and Theory of Petri Nets and Concurrency
  • 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.