Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Dmitry Zaitsev via Petrinet <address@concealed>
- To: address@concealed
- Cc: address@concealed
- Subject: [PN-world] (PN) Tina 3.8.0 implements Sleptsov Nets
- Date: Tue, 28 May 2024 12:01:30 +0200
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=informatik.uni-hamburg.de header.s=rrzs003 header.b=LmhmItjO; dmarc=pass (policy=none) header.from=uni-hamburg.de; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.114 as permitted sender) address@concealed
Wide-known TIme petri Net Analyzer Tina, prize-winner of the Model-Checking Contest, implements Maxsteps options, including Sleptsov nets, in its recent release 3.8.0
https://projects.laas.fr/tina/maxsteps_.php
Now Tina represents a professional toolset of concurrent software design for Sleptsov Net Computing (SNC)
http://daze.ho.ua/12-snc.html
For hierarchical software design, Tina is complemented by a compiler-linker of SNs and other tools described in
https://doi.org/10.1142/S0129626423500068
Hardware prototyping of an SN machine is ongoing.
Yours truly,
- [PN-world] (PN) Tina 3.8.0 implements Sleptsov Nets, Dmitry Zaitsev via Petrinet, 06/13/2024
Archive powered by MHonArc 2.6.19+.