Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
by
Gomes, Luis. editor.
Title
:
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Author
:
Gomes, Luis. editor.
ISBN
:
9783031336201
Edition
:
1st ed. 2023.
Physical Description
:
XV, 466 p. 188 illus., 89 illus. in color. online resource.
Series
:
Lecture Notes in Computer Science, 13929
Contents
:
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.
Added Author
:
Gomes, Luis.
Lorenz, Robert.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 520949-1001 | XX(520949.1) | | Elektronik Kütüphane |