Modeling of interval P-time Petri nets using dioid algebra

Number of the records: 1

1.

SYSNO ASEP	0348271
Document Type	C - Proceedings Paper (int. conf.)
R&D Document Type	Conference Paper
Title	Modeling of interval P-time Petri nets using dioid algebra
Author(s)	Špaček, P. (CZ) Komenda, Jan (MU-W)_{RID, SAI, ORCID}
Source Title	Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). - Berlin : The International Federation of Automatic Control, 2010 / Raisch J. ; Giua A. ; Lafortune S. ; Moor T. - ISBN 978-3-902661-79-1
Pages	s. 322-327
Number of pages	6 s.
Action	10th International Workshop on Discrete Event Systems
Event date	29.08.2010-01.09.2010
VEvent location	Berlin
Country	DE - Germany
Event type	WRD
Language	eng - English
Country	DE - Germany
Keywords	timed discrete-event systems ; product semirings ; P-time Petri nets ; dead tokens
Subject RIV	BA - General Mathematics
CEZ	AV0Z10190503 - MU-W (2005-2011)
EID SCOPUS	80051971290
DOI	10.3182/20100830-3-DE-4013.00052
Annotation	In this paper 1-safe interval P-time Petri nets are described using linear description in an interval like idempotent semiring. This semiring, which is just the product of (R,max,+) and (R,min,+) semirings, enables linear letter driven description similar to the one known for timed Petri nets. Examples illustrating our approach show also an application of this description to dead token detection.
Workplace	Mathematical Institute
Contact	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Year of Publishing	2011

Number of the records: 1