%0 Journal Article %1 journals/rts/AalstO95 %A van der Aalst, Wil M. P. %A Odijk, Michiel A. %D 1995 %J Real Time Syst. %K dblp %N 3 %P 241-263 %T Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. %U http://dblp.uni-trier.de/db/journals/rts/rts9.html#AalstO95 %V 9

@article{journals/rts/AalstO95, added-at = {2020-09-10T00:00:00.000+0200}, author = {van der Aalst, Wil M. P. and Odijk, Michiel A.}, biburl = {https://www.bibsonomy.org/bibtex/21fec5b387053af793001ec9bc2ee4da6/dblp}, ee = {https://www.wikidata.org/entity/Q57006222}, interhash = {e34e48c56ff52f7a782aae8b22b34719}, intrahash = {1fec5b387053af793001ec9bc2ee4da6}, journal = {Real Time Syst.}, keywords = {dblp}, number = 3, pages = {241-263}, timestamp = {2020-09-11T11:43:00.000+0200}, title = {Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/rts/rts9.html#AalstO95}, volume = 9, year = 1995 }