On liveness and safeness of asymmetric choice nets

Ruan Jian Xue Bao/Journal of Software

Volumn 11, Issue 5, 2000, Pages 590-605

  Zhen, Qiang ^a   Lu, Weiming ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; ALGORITHMS; COMMUNICATION; PETRI NETS; THEOREM PROVING;

ASYMMETRIC CHOICE NETS; LIVENESS MONOTONICITY; PLACE TRANSITION NETS; POLYNOMIAL TIME ALGORITHMS; SAFENESS; STRONG AC NETS;

COMPUTER NETWORKS;

EID: 0034179826     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)