Work

Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors

Year: 2016

Type: conference-paper

Source: International Workshop on Discrete Event Systems

DOI: 10.1109/wodes.2016.7497820

Authors: L. Swartjes, M.A. Reniers, D.A. van Beek, W.J. Fokkink

Institution: Eindhoven University of Technology

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2425104583

FWCI: 0.555

Cites: 16

Cited by: 3

Related to: 10