Deciding detectability for labeled Petri nets

Number of the records: 1

1.

SYSNO	0504048
Title	Deciding detectability for labeled Petri nets
Author(s)	Masopust, Tomáš (MU-W)_{RID, ORCID, SAI} Yin, X. (CN)
Corespondence/senior	Yin, X. - Korespondující autor
Source Title	Automatica. Roč. 104, June (2019), s. 238-241. - : Elsevier
Document Type	Článek v odborném periodiku
Grant	GC19-06175J GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
Institutional support	MU-W - RVO:67985840
Language	eng
Country	NL
Keywords	discrete event systems * Petri nets * complexity
Cooperating institutions	Shanghai Jiao Tong University (China)
URL	http://dx.doi.org/10.1016/j.automatica.2019.02.058
Permanent Link	http://hdl.handle.net/11104/0295763

	File	Download	Size	Commentary	Version	Access
	Masopust3.pdf	9	333.9 KB		Publisher’s postprint	require

Number of the records: 1