teaching/muMLE
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

PN example

Browse source
This commit is contained in:
Andrei Bondarenko 2021-08-21 11:57:20 +02:00
parent 967b17c45d
commit 8ddb5ac12b
2 changed files with 26 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

1
bootstrap/scd.py
View file

@ -246,7 +246,6 @@ def bootstrap_scd(state: State) -> UUID:
add_mcl_morphism("Association_target_lower_cardinality.optional", "Boolean") add_mcl_morphism("Association_target_lower_cardinality.optional", "Boolean")
add_mcl_morphism("Association_target_upper_cardinality.optional", "Boolean") add_mcl_morphism("Association_target_upper_cardinality.optional", "Boolean")
return mcl_root return mcl_root

35
services/scd.py
View file

@ -187,15 +187,32 @@ if __name__ == '__main__':
s = State() s = State()
from bootstrap.scd import bootstrap_scd from bootstrap.scd import bootstrap_scd
scd = bootstrap_scd(s) scd = bootstrap_scd(s)
# Retrieve refs to primitive type models
# # integer
int_type_id = s.read_dict(s.read_root(), "Integer") int_type_id = s.read_dict(s.read_root(), "Integer")
int_type = UUID(s.read_value(int_type_id)) int_type = UUID(s.read_value(int_type_id))
service = SCD(scd, s.create_node(), s) print(f"Integer Model UUID: {int_type}") # 6
service.create_class("Place") # # string
service.create_class("Transition") str_type_id = s.read_dict(s.read_root(), "String")
service.create_association("P2T", "Place", "Transition") str_type = UUID(s.read_value(str_type_id))
service.create_association("T2P", "Transition", "Place") print(f"String Model UUID: {str_type}") # 16
# Create LTM_PN
model_uuid = s.create_node()
print(f"LTM_PN Model UUID: {model_uuid}") # 845
service = SCD(scd, model_uuid, s)
# Create classes
service.create_class("P")
service.create_class("T")
# Create associations
service.create_association("P2T", "P", "T")
service.create_association("T2P", "T", "P")
# Create model refs
service.create_model_ref("Integer", int_type) service.create_model_ref("Integer", int_type)
service.create_attribute_link("Place", "Integer", "tokens", False) service.create_model_ref("String", int_type)
service.create_attribute_link("P2T", "Integer", "weight", False) # Create class attributes
service.create_attribute_link("T2P", "Integer", "weight", False) service.create_attribute_link("P", "Integer", "t", False)
service.list_elements() service.create_attribute_link("P", "String", "n", False)
service.create_attribute_link("T", "String", "n", False)
# Create association attributes
service.create_attribute_link("P2T", "Integer", "w", False)
service.create_attribute_link("T2P", "Integer", "w", False)