|
Article information
2013 , Volume 18, ¹ 6, p.16-30
Virbitskaite I.B., Bystrov A.
Truly concurrent and nondeterministic semantics of discrete-time elementary net systems
The intention of the paper is to put forward a method for constructing a truly concurrent and non-deterministic semantics of discrete-time elementary net systems (DTENS). In particular, semantics of timed extensions of step sequences, causal nets and event structures are developed, and the close relationships in terms of the existence of bijective mappings between the semantics are established, in the context of DTENS.
[full text]
Keywords: timed Petri nets, truly concurrent semantics, nondeterministic semantics, timed step sequences, timed causal nets, timed event structures
Author(s):
Virbitskaite Irina Bonaventurovna
Dr. , Professor
Position: General Scientist
Office: A.P. Ershov Institute of Informatics Systems SBRAS
Address: 630090, Russia, Novosibirsk, Lavrentiev av. 6
Phone Office: (383) 3306360
E-mail: virb@iis.nsk.su
Bystrov Alexander
PhD.
Position: Senior Research Scientist
Office: A.P. Ershov Institute of Informatics Systems SBRAS
Address: 630090, Russia, Novosibirsk, Lavrentiev av. 6
Phone Office: (383) 3306360
E-mail: avb@iis.nsk.su
Bibliography link:
Virbitskaite I.B., Bystrov A. Truly concurrent and nondeterministic semantics of discrete-time elementary net systems // Computational technologies. 2013. V. 18. ¹ 6. P. 16-30
|
