Concurrent and maximally concurrent evolution of nonsequential systems

DOI10.1016/0304-3975(86)90177-5zbMath0604.68006OpenAlexW2092395688MaRDI QIDQ1083185

Peter E. Lauer, Maciej Koutny, Raymond Devillers, Ryszard Janicki

Publication date: 1986

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(86)90177-5

zbMATH Keywords

Petri netssemantics of concurrencyanalysis of nonsequential systemsconcurrent executionsCOSY path expressionmaximally concurrent evolution

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items

A Petri net model for membrane systems with dynamic structure, Concurrency in Boolean networks, Modelling Concurrency with Quotient Monoids, Modelling concurrency with comtraces and generalized comtraces, Executions: A new partial-order semantics of Petri nets, Description of membrane systems with time Petri nets: promoters/inhibitors, membrane dissolution, and priorities, A method for the verification of a distributed and synchronized algorithm, Algebraic Structure of Step Traces and Interval Traces, Proving partial order properties

Uses Software

• COSY

Cites Work

• Adequacy properties of path programs
• COSY - a system specification language based on paths and processes
• Transforming sequential systems into concurrent systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item