We list references to components in "Compatibility" section.
-
Use
Tina
nd
as graphical editor and its labels with special syntax (section "Transition substitution label") to specify transition substitution ofHSN
. -
Use
NDRtoSN
to convertNDR
file ofTina
intoHSN
orLSN
. -
Use
HSNtoLSN
to compile and link HSN file and mentioned in itLSN
files into a singleLSN
file. -
Run
LSN
file onSN-VM
orSN-VM-GPU
.
Tina
, nd
, and NDR
file format according to https://projects.laas.fr/tina/index.php
NDRtoSN
and transition substitution labels according to https://github.com/dazeorgacm/NDRtoSN
SN-VM
and LSN
file format according to https://github.com/zhangq9919/Sleptsov-net-processor
HSNtoLSN
and HSN
file format according to https://github.com/HfZhao1998/Compiler-and-Linker-of-Sleptsov-net-Program
SN-VM-GPU
and MSN
file format according to https://github.com/tishtri/SN-VM-GPU
SNC_ArduinoIDE
SN declarations in the form of C language sn.h file for https://github.com/dimazaitsev/SNC_ArduinoIDE
To build NDRtoSN
, files for work with abstract lists al.h and al.c should be downloaded from https://github.com/dazeorgacm/ts
NDRtoSN NDR_file_name LSN_file_name
NDRtoSN NDR_file_name HSN_file_name
NDRtoSN NDR_file_name -c H_file_name *
File type HSN/LSN is chosen based on the presence of transition substitution labels. Insert any string as the third parameter to generate SN declarations in the form of C language sn.h file.
NDRtoSN fmul.ndr fmul.lsn
NDRtoSN add2.ndr add2.hsn
NDRtoSN add2.ndr sn.h h
*HSN(snname i hpname lpnum ... o hpname lpnum ... s pname lpnum f hpname lpnum)
"*HSN" - prefix of HSN label, should be at the beginning of the label
"(" - begin of specification
")" - end of specification
snname - name of subnet
i,o,s,f - labels of place type for place mapping: input, otput, start, finish, respectively
hpname - name of HSN place
lpnum - number of LSN place
Now we can use NDRtoSN as Tina plugin accessible from Tools menu:
-
Copy NDRtoSN to Tina bin directory
-
Copy NDRtoSN.tcl to Tina bin/plugins directory
-
Append ndmount+ to Tina bin/plugins/ndmount file
-
Zaitsev D.A. Sleptsov Nets Run Fast, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016, Vol. 46, No. 5, 682 - 693. http://dx.doi.org/10.1109/TSMC.2015.2444414
-
Zaitsev D.A., Jürjens J. Programming in the Sleptsov net language for systems control, Advances in Mechanical Engineering, 2016, Vol. 8(4), 1-11. https://doi.org/10.1177%2F1687814016640159
-
Zaitsev D.A. Universal Sleptsov Net, International Journal of Computer Mathematics, 94(12) 2017, 2396-2408. http://dx.doi.org/10.1080/00207160.2017.1283410
-
Dmitry A. Zaitsev, Strong Sleptsov nets are Turing complete, Information Sciences, Volume 621, 2023, 172-182. https://doi.org/10.1016/j.ins.2022.11.098
-
Qing Zhang, Ding Liu, Yifan Hou, Sleptsov Net Processor, International Conference ”Problems of Infocommunications. Science and Technology” (PICST2022), 10-12 October, 2022, Kyiv, Ukraine.
-
Hongfei Zhao, Ding Liu, Yifan Hou, Compiler and Linker of Sleptsov Net Program,International Conference ”Problems of Infocommunications. Science and Technology” (PICST2022), 10-12 October, 2022, Kyiv, Ukraine.
-
Sleptsov Net Computing Resolves Modern Supercomputing Problems, The April 21, 2023, edition of ACM TechNews, https://technews.acm.org/archives.cfm?fo=2023-04-apr/apr-21-2023.html
@ 2023 Dmitry Zaitsev: [email protected]