Recent changes to Home

Home modified by Filippo Schiavio

Filippo Schiavio — Sat, 13 Jul 2013 12:17:37 -0000

--- v14
+++ v15
@@ -33,4 +33,4 @@

 [P. Katis, N. Sabadini, R.F.C. Walters, Span(Graph): an algebra of transition systems, Proceedings AMAST '97, SLNCS 1349, 322-336,1997](https://sourceforge.net/p/spantool/wiki/Home/attachment/Span%28Graph%29%3A%20an%20algebra%20of%20transition%20systems.pdf)
 

-[Robert F. C. Walters, Davide Maglia, Nicoletta Sabadini and Filippo Schiavio. The algebra and geometry of networks](https://sourceforge.net/p/spantool/wiki/Home/attachment/The%20algebra%20and%20geometry%20of%20networks.pdf)
+[Robert F. C. Walters, Nicoletta Sabadini and Filippo Schiavio. The algebra and geometry of networks](https://sourceforge.net/p/spantool/wiki/Home/attachment/The%20algebra%20and%20geometry%20of%20networks.pdf)

Home modified by Filippo Schiavio

Filippo Schiavio — Sat, 13 Jul 2013 12:16:30 -0000

Home modified by Filippo Schiavio

Filippo Schiavio — Sat, 13 Jul 2013 12:01:08 -0000

--- v12
+++ v13
@@ -23,6 +23,7 @@
 Input of the program is a text file that respects a syntax defined in order to provide basic construct to define components and expressions, in addition to commands to generate in output diagrams of components and systems and to simulate (graphically) some random executions.

 [Usage]
+[Examples]

 [[project_admins]]
 [[download_button]]

WikiPage Home modified by Filippo Schiavio

Filippo Schiavio — Sun, 30 Sep 2012 20:15:11 -0000

--- v11
+++ v12
@@ -28,7 +28,7 @@
 [[download_button]]
 

 References
-This program offer functionalities to define expression in Span(Graph) and execute them in Cospan(Monoida Graph), in order to understand the mathematical background is recommended to read articles that explain precisely these algebra (downloadable from Attachments at the top of this page):
+This program offer functionalities to define expression in Span(Graph) and execute them in Cospan(Monoida Graph), in order to understand the mathematical background is recommended to read articles that explain precisely these algebra:
 
 [P. Katis, N. Sabadini, R.F.C. Walters, Span(Graph): an algebra of transition systems, Proceedings AMAST '97, SLNCS 1349, 322-336,1997](https://sourceforge.net/p/spantool/wiki/Home/attachment/Span%28Graph%29%3A%20an%20algebra%20of%20transition%20systems.pdf)

WikiPage Home modified by Filippo Schiavio

Filippo Schiavio — Sun, 30 Sep 2012 20:12:33 -0000

--- v10
+++ v11
@@ -30,6 +30,6 @@
 References
 This program offer functionalities to define expression in Span(Graph) and execute them in Cospan(Monoida Graph), in order to understand the mathematical background is recommended to read articles that explain precisely these algebra (downloadable from Attachments at the top of this page):
 
-[P. Katis, N. Sabadini, R.F.C. Walters, Span(Graph): an algebra of transition systems, Proceedings AMAST '97, SLNCS 1349, 322-336,1997](https://sourceforge.net/p/spantool/wiki/Home/attachment/The%20algebra%20and%20geometry%20of%20networks.pdf)
+[P. Katis, N. Sabadini, R.F.C. Walters, Span(Graph): an algebra of transition systems, Proceedings AMAST '97, SLNCS 1349, 322-336,1997](https://sourceforge.net/p/spantool/wiki/Home/attachment/Span%28Graph%29%3A%20an%20algebra%20of%20transition%20systems.pdf)
 

-[Robert F. C. Walters, Davide Maglia, Nicoletta Sabadini and Filippo Schiavio. The algebra and geometry of networks](https://sourceforge.net/p/spantool/wiki/Home/attachment/Span%28Graph%29%3A%20an%20algebra%20of%20transition%20systems.pdf)
+[Robert F. C. Walters, Davide Maglia, Nicoletta Sabadini and Filippo Schiavio. The algebra and geometry of networks](https://sourceforge.net/p/spantool/wiki/Home/attachment/The%20algebra%20and%20geometry%20of%20networks.pdf)

WikiPage Home modified by Filippo Schiavio

Filippo Schiavio — Sun, 30 Sep 2012 20:11:42 -0000

WikiPage Home modified by Filippo Schiavio

Filippo Schiavio — Sun, 30 Sep 2012 20:11:38 -0000

WikiPage Home modified by Filippo Schiavio

Filippo Schiavio — Sun, 30 Sep 2012 20:11:10 -0000

--- v7
+++ v8
@@ -30,5 +30,6 @@
 References
 This program offer functionalities to define expression in Span(Graph) and execute them in Cospan(Monoida Graph), in order to understand the mathematical background is recommended to read articles that explain precisely these algebra (downloadable from Attachments at the top of this page):
 
-P. Katis, N. Sabadini, R.F.C. Walters, Span(Graph): an algebra of transition systems, Proceedings AMAST '97, SLNCS 1349, 322-336, 1997
-Robert F. C. Walters, Davide Maglia, Nicoletta Sabadini and Filippo Schiavio. The algebra and geometry of networks.
+[P. Katis, N. Sabadini, R.F.C. Walters, Span(Graph): an algebra of transition systems, Proceedings AMAST '97, SLNCS 1349, 322-336,1997](https://sourceforge.net/p/spantool/wiki/Home/attachment/The%20algebra%20and%20geometry%20of%20networks.pdf)
+

+[Robert F. C. Walters, Davide Maglia, Nicoletta Sabadini and Filippo Schiavio. The algebra and geometry of networks](https://sourceforge.net/p/spantool/wiki/Home/attachment/Span%28Graph%29%3A%20an%20algebra%20of%20transition%20systems.pdf)

WikiPage Home modified by Filippo Schiavio

Filippo Schiavio — Sun, 30 Sep 2012 13:12:12 -0000

--- v6
+++ v7
@@ -28,7 +28,7 @@
 [[download_button]]
 

 References
-This program offer functionalities to define expression in Span(Graph) and execute them in Cospan(Monoida Graph), in order to understand the mathematical background is recommended to read articles that explain precisely these algebra:
+This program offer functionalities to define expression in Span(Graph) and execute them in Cospan(Monoida Graph), in order to understand the mathematical background is recommended to read articles that explain precisely these algebra (downloadable from Attachments at the top of this page):
 
 P. Katis, N. Sabadini, R.F.C. Walters, Span(Graph): an algebra of transition systems, Proceedings AMAST '97, SLNCS 1349, 322-336, 1997
 Robert F. C. Walters, Davide Maglia, Nicoletta Sabadini and Filippo Schiavio. The algebra and geometry of networks.

WikiPage Home modified by Filippo Schiavio

Filippo Schiavio — Sun, 30 Sep 2012 13:09:47 -0000

--- v5
+++ v6
@@ -26,7 +26,7 @@
 
 [[project_admins]]
 [[download_button]]
-
+

 References
 This program offer functionalities to define expression in Span(Graph) and execute them in Cospan(Monoida Graph), in order to understand the mathematical background is recommended to read articles that explain precisely these algebra: