Book Chapter

·2019

Obtaining Generic Petri Net Models of Railway Signaling Equipment

İlker Üstoğlu YTU , Daniel Töpel , Mustafa Seçkin Durmuş , Roman Tsarev , Kirill Zhigalov

Advances in intelligent systems and computing

No open-access abstract is available for this article. Use the DOI link on the right to read the full text.

Keywords

Petri net Interlocking Computer science Frame (networking) Context (archaeology) Process architecture Programming language Reliability engineering Engineering Telecommunications

Subject Areas

Petri Nets in System Modeling ·Computational Theory and Mathematics ·Physical Sciences
Model-Driven Software Engineering Techniques ·Software ·Physical Sciences
Railway Systems and Energy Efficiency ·Industrial and Manufacturing Engineering ·Physical Sciences

Citations by Year

OpenAlex SDG Match

SDGs auto-classified by OpenAlex (score ≥ 0.4 shown).

Sustainable cities and communities 40%