Applying regions
type: Item
instance of: scholarly article
title: Applying regions
zbMATH Open document ID: 1355.68192
author: Maciej Koutny
author: Marta Pietkiewicz-Koutny
author: Grzegorz Rozenberg
author: Jetty Kleijn
published in: Theoretical Computer Science
publication date: 2016-12-19T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6666077
zbMATH Keywords: concurrency
zbMATH Keywords: theory of regions
zbMATH Keywords: transition system
zbMATH Keywords: synthesis problem
zbMATH Keywords: Petri net
zbMATH Keywords: step semantics
zbMATH Keywords: a/sync connection
zbMATH Keywords: whole-place operations net
describes a project that uses: rbminer
describes a project that uses: VipTool
describes a project that uses: Genet
MaRDI profile type: Publication
full work available at URL: j.tcs.2016.01.040
OpenAlex ID: W2914059514
cites work: A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
cites work: The synthesis problem for elementary net systems is NP-complete
cites work: Petri net synthesis
cites work: Q4247291
cites work: Zero-safe nets: Comparing the collective and individual token approaches.
cites work: Synthesis of nets with inhibitor arcs
cites work: Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
cites work: Logic Synthesis for Asynchronous Controllers and Interfaces
cites work: Q4251924
cites work: On the Petri net realization of context-free graphs
cites work: Synthesis of Nets with Step Firing Policies
cites work: The synthesis problem of Petri nets
cites work: Q4219024
cites work: Partial (set) 2-structures. II: State spaces of concurrent systems
cites work: A well-structured framework for analysing Petri net extensions
cites work: Well-structured transition systems everywhere!
cites work: A trace semantics for Petri nets
cites work: Regions of Petri nets with a/sync connections
cites work: Tissue Systems and Petri Net Synthesis
cites work: Q3601863
cites work: Q4621135
cites work: PETRI NETS AND STEP TRANSITION SYSTEMS
cites work: Elementary transition systems
cites work: Q4547954
cites work: Flip-flop nets
cites work: Process Discovery Using Integer Linear Programming
DOI: 10.1016/J.TCS.2016.01.040
description: scientific article; zbMATH DE number 6666077