Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 159 LNCS, Issue , 1983, Pages 141-154

  Best, E ^a   Shields, M W ^b  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORESTRY;

FREE-CHOICE NETS;

ALGEBRA;

EID: 84982167245     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-12727-5_7     Document Type: Conference Paper

References (11)

1. E. Best: Adequacy Properties of Path Programs. TCS Vol. 18, pp. 149–171 (1982).
2. H. J. Genrich and E. Stankiewicz-Wiechno: A Dictionary of Some Basic Notions of Net Theory. Lecture Notes in Computer Science Vol. 84, pp. 519–535 (1980).
3. H. J. Genrich and P. S. Thiagarajan: A Theory for Bipolar Synchronisation Schemes. Computer Sc. Dep., Århus University, DAIMI PB-158 (March 1983).
4. M. H. T. Hack: Analysis of Production Schemata By Petri Nets. TR-94, Project MAC, MIT, Boston (February 1972). Corrected June 1974.
5. M. Jantzen and R. Valk: Formal Properties of Place/Transition Nets. Lecture Notes in Computer Science Vol. 84, pp. 165–212.
6. P. E. Lauer, M. W. Shields and E. Best: Formal Theory of the Basic COSY Notation. TR 143, Computing Laboratory, Univ. Of Newcastle upon Tyne (November 1979).
7. R. Milner: A Calculus of Communicating Systems. Lecture Notes in Computer Science Vol. 92 (1980).
8. M. W. Shields: Adequate Path Expression. Lecture Notes in Computer Science Vol. 70, pp. 249–265 (1979).
9. M. W. Shields: On the Non-Sequential Behaviour of Systems Possessing a Generalised Free Choice Property. Internal Report CRS-92-81, Edinburgh University (September 1981). Also to appear in TCS.
10. M. W. Shields: Non Sequential Behaviour 1. Internal Report CRS-120-82, Edingburgh University (September 1982).
11. P. S. Thiagarajan and K. Voss: Private Communication.