Concurrent and maximally concurrent evolution of nonsequential systems
type: Item
instance of: scholarly article
title: Concurrent and maximally concurrent evolution of nonsequential systems
zbMATH Open document ID: 0604.68006
DOI: 10.1016/0304-3975(86)90177-5
author: Peter E. Lauer
author: Maciej Koutny
author: Raymond Devillers
author: Ryszard Janicki
published in: Theoretical Computer Science
publication date: 1986-01-01T00:00:00Z
review text: Two types of concurrent executions and their semantics are introduced and compared, namely the standard one (in the sense of Petri nets or interleaving approaches - ''execute as possible'') and that of maximally concurrent evolution (''execute as much as possible in parallel''). The COSY path expression formalism is briefly reviewed and used for the definitions of these semantics and for establishing their properties. Especially, several necessary and sufficient conditions for their complete characterization (i.e. criteria for their equivalence) are given. The results are reasonably translatable from COSY expressions into related formalisms. The paper confirms the conjecture that systems for which the maximal concurrent behavior determines the full behavior are easier to analyse than those based on standard semantics.
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3976292
zbMATH Keywords: semantics of concurrency
zbMATH Keywords: analysis of nonsequential systems
zbMATH Keywords: concurrent executions
zbMATH Keywords: Petri nets
zbMATH Keywords: maximally concurrent evolution
zbMATH Keywords: COSY path expression
reviewed by: Mojmír Křetínský
describes a project that uses: COSY
MaRDI profile type: Publication
full work available at URL: 0304-3975(86)90177-5
OpenAlex ID: W2092395688
cites work: Adequacy properties of path programs
cites work: Q3319781
cites work: Q3347282
cites work: Q4845486
cites work: Q3691069
cites work: Transforming sequential systems into concurrent systems
cites work: Q3680255
cites work: Q3325005
cites work: Q3780449
cites work: Q4167546
cites work: Q3939202
cites work: COSY - a system specification language based on paths and processes
cites work: Q3698316
cites work: Q3750114
cites work: Q4133144
cites work: Q3670605
cites work: Q3925868
cites work: Q3867194
cites work: Q3675545
description: scientific article; zbMATH DE number 3976292