Abstract:
In this paper, we present a method for state space reduction of dense-time Petri nets (TPNs) – an extension of Petri nets by adding a time interval to every transition for its firing. The time elapsing and memory operating policies define different semantics for TPNs. The decidability of many standard problems in the context of TPNs depends on the choice of their semantics. The state space of the TPN is infinite and non-discrete, in general, and, therefore, the analysis of its behavior is rather complicated. To cope with the problem, we elaborate a state space discretization technique and develop a partial order semantics for TPNs equipped with weak time elapsing and intermediate memory policies.
Keywords:
dense-time Petri nets, weak time elapsing semantics, intermediate memory policy, state space discretization, partial order semantics, time causal processes.
Document Type:
Article
Language: English
Citation:
I. B. Virbitskaite, A. Yu. Zubarev, “Time causal processes in time Petri nets with weak semantics”, Proceedings of ISP RAS, 32:4 (2020), 261–284
\Bibitem{VirZub20}
\by I.~B.~Virbitskaite, A.~Yu.~Zubarev
\paper Time causal processes in time Petri nets with weak semantics
\jour Proceedings of ISP RAS
\yr 2020
\vol 32
\issue 4
\pages 261--284
\mathnet{http://mi.mathnet.ru/tisp539}
\crossref{https://doi.org/10.15514/ISPRAS-2020-32(4)-19}
Linking options:
https://www.mathnet.ru/eng/tisp539
https://www.mathnet.ru/eng/tisp/v32/i4/p261
This publication is cited in the following 1 articles:
I. B. Virbitskaite, A. Yu. Zubarev, “'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies”, Program Comput Soft, 47:5 (2021), 389
Citation in format AMSBIB
Contact us: