pm4py.objects.dcr.extended package#

Submodules#

pm4py.objects.dcr.extended.obj module#

This module extends the RoleDcrGraph class to include support for milestone and no-response relations within Dynamic Condition Response (DCR) Graphs.

The module adds functionality to handle milestone and no-response constraints, allowing for more expressive process models with additional types of relations between events.

Classes:

MilestoneNoResponseDcrGraph: Extends RoleDcrGraph to include milestone and no-response relations.

This class provides methods to manage and manipulate milestone and no-response relations within a DCR Graph, enhancing the model’s ability to represent complex process behaviors and dependencies.

class pm4py.objects.dcr.extended.obj.ExtendedDcrGraph(template=None)[source]#

Bases: DistributedDcrGraph

This class extends the RoleDcrGraph to include milestone and no-response relations, allowing for more expressive DCR Graphs with additional constraints.

Attributes#

self.__milestonesFor: Dict[str, Set[str]]

A dictionary mapping events to sets of their milestone events.

self.__noResponseTo: Dict[str, Set[str]]

A dictionary mapping events to sets of their no-response events.

Methods#

obj_to_template(self) -> dict:

Converts the object to a template dictionary, including milestone and no-response relations.

get_constraints(self) -> int:

Computes the total number of constraints in the DCR Graph, including milestone and no-response relations.

obj_to_template()[source]#

property milestones: Dict[str, Set[str]]#

property noresponses: Dict[str, Set[str]]#

get_constraints() → int[source]#

compute role assignments as constraints in DCR Graph and the constraints in the underlying graph

Returns#

int

number of constraints in dcr graph

pm4py.objects.dcr.extended.semantics module#

class pm4py.objects.dcr.extended.semantics.ExtendedSemantics[source]#

Bases: DcrSemantics

classmethod enabled(graph) → Set[str][source]#

Creates a list of enabled events, based on included events and conditions constraints met

Parameters#

param graph:

takes the current state of the DCR

Returns#

param res:

set of enabled activities

classmethod weak_execute(event, graph)[source]#

Module contents#