Data and process resonance. Identifier soundness for models of information systems

DOI10.1007/978-3-031-06653-5_19MaRDI QIDQ2165251zbMATH OpenOpenAlexFDO

Authors Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali

Publication date 19 August 2022

Full work available at URL https://doi.org/10.1007/978-3-031-06653-5_19

zbMATH Keywords

information systemverification

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modelling and animating information systems dynamics
• Modeling of information systems by Petri nets (the case of ASPID-7/SM)
• Petri nets with structured data
• Modeling and analysis of the behavior of information systems
• Petri nets with structured data

Cites work

• Business process modeling using Petri nets
• Causal behavioural profiles -- efficient computation, applications, and evaluation
• Decidability and complexity of Petri nets with unordered data
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
• Describing Behavior of Processes with Many-to-Many Interactions
• Discovering block-structured process models from event logs -- a constructive approach
• Discovering object-centric Petri nets
• scientific article; zbMATH DE number 5593270 (Why is no real title available?)
• Model checking Petri nets with names using data-centric dynamic systems
• Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data
• Parallel program schemata
• Soundness and separability of workflow nets in the stepwise refinement approach
• Soundness verification of data-aware process models with variable-to-variable conditions
• Understanding Petri Nets
• Verification of workflow nets

Cited in

(1)

• There and back again. On the reconstructability and rediscoverability of typed Jackson nets

This page was built for publication: Data and process resonance. Identifier soundness for models of information systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2165251)