Generalising results for any legal initial configuration of a railway network

Electronics Letters

Volumn 32, Issue 24, 1996, Pages 2288-2289

  Billington, J ^a   Janczura, C ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Petri nets; Rail traffic; Railways

Indexed keywords

ACCIDENT PREVENTION; PETRI NETS; RAILROAD TRAFFIC CONTROL;

COLORED PETRI NETS (CPN); RAILWAY NETWORKS;

ELECTRIC RAILROADS;

EID: 0030289762     PISSN: 00135194     EISSN: None     Source Type: Journal    
DOI: 10.1049/el:19961468     Document Type: Article

References (4)

1. BILLINGTON, J., and JANCZURA, C.: 'State space analysis of a railway network'. Proc. IEEE SMC96 Conf., China, 14-17 October 1996, (To appear)
2. JENSEN, K.: 'Coloured petri nets, Volume 1'. EATCS Monographs on TCS, (Springer-Verlag, 1992)
3. JENSEN, K.: 'Coloured petri nets, Volume 2'. EATCS Monographs on TCS, (Springer-Verlag, 1994)
4. BILLINGTON, J.: 'Many-sorted high-level nets'. Proc. Third Int. Workshop on Petri Nets and Performance Models, (IEEE Computer Society Press, 1989), pp. 166-179