Synthesising elementary net systems with inhibitor arcs from step transition systems

Fundamenta Informaticae

Volumn 50, Issue 2, 2002, Pages 175-203

  Pietkiewicz Koutny, Marta ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Analysis and synthesis; Causality partial order theory of concurrency; Structure and behaviour of nets; Theory of regions; Transition systems

Indexed keywords

EID: 0036537155     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)