Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Paris"
Treffer 42 von 210186
|
|
| Link zu diesem Datensatz | https://d-nb.info/1368134815 |
| Art des Inhalts | Konferenzschrift |
| Titel | Application and Theory of Petri Nets and Concurrency : 46th International Conference, PETRI NETS 2025, Paris, France, June 22–27, 2025, Proceedings / edited by Elvio Amparore, Łukasz Mikulski |
| Person(en) |
Amparore, Elvio (Herausgeber) Mikulski, Łukasz (Herausgeber) |
| Organisation(en) | SpringerLink (Online service) (Sonstige) |
| Ausgabe | 1st ed. 2025 |
| Verlag | Cham : Springer Nature Switzerland, Imprint: Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2025 |
| Umfang/Format | Online-Ressource, X, 502 p. 174 illus., 85 illus. in color. : online resource. |
| Andere Ausgabe(n) |
Printed edition:: ISBN: 978-3-031-94633-2 Printed edition:: ISBN: 978-3-031-94635-6 |
| Inhalt | -- Automated Reasoning for Data-Aware Petri Nets. -- Petri Nets and Higher-Dimensional Automata. -- Discovering the Influence of Exogenous Data on Decisions in Processes. -- Synthesizing Petri Nets from Labelled Petri Nets. -- Coverability in Well-Formed Free-Choice Nets. -- High-Level Message Sequence Charts: Satisfiability and Realizability Revisited. -- Distributed Reference Net Simulation based on Event Streaming. -- Persistent Permutations, Fairness, Asymmetric Choice Petri Nets, and Ochmanski’s Conjecture. -- Statistical Model Checking of Stochastic Timed-Arc Petri Nets. -- Energy Transfer in timed cyclic networks. -- Leveraging Petri Nets for Workflow Anomaly Detection in Microservice Architectures. -- Translating Workflow Nets into the Partially Ordered Workflow Language. -- Distributed Places and Safe Net Reduction. -- Analysing Probabilistic Hornets. -- Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets. -- Decidability problems for weak Time Petri Nets with read, reset and transfer arcs. -- SkiNet: a User-Oriented Tool for Petri Net-based Analysis of Robotic Skills. -- Deciding (Sub-Marking) Reachability in O(Pˆ2 + Tˆ2) for Sound Acyclic Free-Choice Workflow Nets. -- Complexity of Alignments on Sound Free-Choice Workflow Nets. -- Computing Alignments for Partially-ordered Traces Through Petri Net Unfoldings . -- Simplifying LTL Model Checking Given Prior Knowledge. -- Failure Resilience of strongly synchronized Processes. -- Symbolic Model Checking in the Modular State Space using Binary Decision Diagrams |
| Persistent Identifier |
URN: urn:nbn:de:101:1-2506080406583.624069152245 DOI: 10.1007/978-3-031-94634-9 |
| URL | https://doi.org/10.1007/978-3-031-94634-9 |
| ISBN/Einband/Preis | 978-3-031-94634-9 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture Notes in Computer Science ; 15714 |
| DDC-Notation | 004.01 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 42 von 210186
Administration
