Theory of regions
id:
theory-of-regions-227-2931156
title:
Theory of regions
text:
The Theory of regions is an approach for synthesizing a Petri net from a transition system. As such, it aims at recovering concurrent, independent behavior from transitions between global states. Theory of regions handles elementary net systems as well as P/T nets and other kinds of nets. An important point is that the approach is aimed at the synthesis of unlabeled Petri nets only.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Theory_of_regions
date created:
2010-04-26T12:37:10Z
date modified:
2024-09-15T00:47:19Z
main entity:
{"identifier":"Q30716875","url":"https://www.wikidata.org/entity/Q30716875"}
image:
fields total:
13
integrity:
14