usecases/BridgingGrafcetPetrinetPNML/index.php - gerrit/www.eclipse.org/atl - Git at Google

 <?php  																														require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php");	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php"); 	require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php"); 	$App 	= new App();	$Nav	= new Nav();	$Menu 	= new Menu();		include($App->getProjectCommon());    # All on the same line to unclutter the user's desktop'

 	#*****************************************************************************
 	#
 	# template.php
 	#
 	# Author: 		Freddy Allilaire
 	# Date:			2005-12-07
 	#
 	# Description: Type your page comments here - these are not sent to the browser
 	#
 	#
 	#****************************************************************************

 	#
 	# Begin: page-specific settings.  Change these.
 	$shortTitle		= "Bridging Grafcet, Petrinet, and PNML";
 	$pageTitle 		= "ATL Use Case - " . $shortTitle;
 	$pageKeywords	= "";
 	$pageAuthor		= "Freddy Allilaire";

 	# End: page-specific settings
 	#

 	# Paste your HTML content between the EOHTML markers!
 	$html = <<<EOHTML

 	<!-- Main part -->
 	<div id="midcolumn">
 		<h1>$pageTitle</h1>

 		<img align="right" src="../../resources/atlLogoSmall.png" valign="top" style="padding-left: 10px;" alt="ATL Logo" />
 		<blockquote>
 			<ul>
 				<li><a href="#keywords"><b>Keywords</b></a></li>
 				<li><a href="#overview"><b>Overview</b></a></li>
 				<li><a href="#relatedUseCases"><b>Related Use Cases</b></a></li>
 				<li><a href="#download"><b>Download</b></a></li>
 				<li><a href="#acknowledgement"><b>Acknowledgement</b></a></li>
 			</ul>
 		</blockquote>

 		<hr class="clearer" />

 		<div id="container>
 			<p align="justify">

 			</p>

 			<h4 STYLE="font-size: 10pt; padding: 0; border-bottom: 2px solid #49457C; background-position: top left; background-repeat; repeat-x;"><a name="keywords"></a>Keywords</h4>
 			<table width="100%">
 				<COLGROUP>
 					<COL width="2%" />
 					<COL width="98%" />
 				</COLGROUP>
 				<tr>
 					<td></td>
 					<td>
 						<p align="justify">
 							Petrinet,
 							Grafcet,
 							PNML
 						</p>
 					</td>
 				</tr>
 			</table>

 			<h4 STYLE="font-size: 10pt; padding: 0; border-bottom: 2px solid #49457C; background-position: top left; background-repeat; repeat-x;"><a name="overview"></a>Overview</h4>

 			<table width="100%">
 				<COLGROUP>
 					<COL width="2%" />
 					<COL width="98%" />
 				</COLGROUP>
 				<tr>
 					<td></td>
 					<td>
 						<p align="justify">
 							This use case provides a complete bridge between Grafcet, Petri Net and PNML.
 							Petri net representation (in the PNML format) from a textual definition of a Grafcet and in the opposite way.
 						</p>
 						<p align="justify">
 							Grafcet is a mainly French-based representation support for discrete system. It is a mode of
 							representation and analysis of an automatism, particularly adapted to sequential systems with
 							evolution, i.e. decomposable in steps. The Grafcet's name came from "graph" because this model
 							had a graphic basis, and AFCET (Association francaise de cybernetique economique et technique)
 							from the scientific association which supported it. The Grafcet represents graphically the operation of
 							an automatism by: steps with associated action, transitions between steps, and directed connections
 							between the steps and the transitions.
 						</p>
 						<p align="justify">
 							Petri nets are also known as a place/transition net or P/T net. Defined in 1962 by Carl Adam Petri,
 							they extend state machines with a notion of concurrency. It is a graphical and mathematical
 							representation of discrete distributed systems. Petri nets consist of places, transitions and directed
 							arcs that connect them, so arcs run between places and transitions, not between places and places or
 							transitions and transitions. There are two sorts of arcs connecting place to transition or transition to place.
 						</p>
 						<p align="justify">
 							The Petri Net Markup Language (PNML) is a proposal of an XML-based interchange format for Petri
 							nets. Originally, it was intended to serve as a file format for the Java version of the Petri Net
 							Kernel. PNML is a concept for defining the overall structure of a Petri net file.
 						</p>
 						<p align="justify">
 							The overall approach is summarized in the following figure:
 						</p>
 						<p align="center">
 	  						<img src="img/UseCaseOverview.png" />
 			  				<br /><br />
 							<b>"$shortTitle" Use Case's Overview</b>
 						</p>
 						<p align="justify">
 							The Model-to-Model transformation phase was implemented by using ATL model-to-model transformations.
 						</p>
 						<p align="justify">
 							We provide below a set of screenshots showing the different input/output files provided/created with this use case:
 						</p>
 						<p align="center">
 	  						<img src="img/Sample.png" />
 			  				<br /><br />
 							<b>Screenshots of the input/outputs of the use case</b>
 						</p>
 					</td>
 				</tr>
 			</table>

 			<h4 STYLE="font-size: 10pt; padding: 0; border-bottom: 2px solid #49457C; background-position: top left; background-repeat; repeat-x;">
 				<a name="relatedUseCases"></a>Related Use Cases
 			</h4>
 			<table>
 				<COLGROUP>
 					<COL width="2%" />
 					<COL width="98%" />
 				</COLGROUP>
 				<tr>
 					<td></td>
 					<td>
 						<p align="justify">
 						None at the current time.
 						</p>
 					</td>
 				</tr>
 			</table>

 			<h4 STYLE="font-size: 10pt; padding: 0; border-bottom: 2px solid #49457C; background-position: top left; background-repeat; repeat-x;">
 				<a name="download">Download</a>
 			</h4>

 			<table width="100%">
 				<COLGROUP>
 					<COL width="25%">
 					<COL width="75%">
 				</COLGROUP>
 				<tr>
 					<td align="center"><a href="http://www.eclipse.org/atl/atlTransformations/#Grafcet2PetriNet"><h3>Complete scenario</h3></a></td>
 					<td>Scenario available in the ATL transformation zoo (with source files).</td>
 				</tr>
 				<tr>
 					<td align="center"><a href="http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/#GRAFCET"><h3>Grafcet Metamodel</h3></a></td>
 					<td>KM3 metamodel is expressed in the <a href="http://wiki.eclipse.org/index.php/KM3">KM3</a> textual format.</td>
 				</tr>
 				<tr>
 					<td align="center"><a href="http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/#PNML_basic"><h3>PNML basic Metamodel</h3></a></td>
 					<td>PNML metamodel is expressed in the <a href="http://wiki.eclipse.org/index.php/KM3">KM3</a> textual format.</td>
 				</tr>
 				<tr>
 					<td align="center"><a href="http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/#PetriNet"><h3>PetriNet Metamodel</h3></a></td>
 					<td>PetriNet metamodel is expressed in the <a href="http://wiki.eclipse.org/index.php/KM3">KM3</a> textual format.</td>
 				</tr>
 				<tr>
 					<td align="center"><a href="http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/#XML"><h3>XML Metamodel</h3></a></td>
 					<td>XML metamodel is expressed in the <a href="http://wiki.eclipse.org/index.php/KM3">KM3</a> textual format.</td>
 				</tr>
 			</table>

 			<h4 STYLE="font-size: 10pt; padding: 0; border-bottom: 2px solid #49457C; background-position: top left; background-repeat; repeat-x;">
 				<a name="acknowledgement"></a>Acknowledgement
 			</h4>

 			<table width="100%">
 				<COLGROUP>
 					<COL width="2%">
 					<COL width="98%">
 				</COLGROUP>
 				<tr>
 					<td></td>
 					<td>
 						The present work is being supported by the <a href="http://www.usine-logicielle.org">Usine Logicielle project of the System@tic Paris Region Cluster</a>.
 					</td>
 				</tr>
 			</table>

 		</div>
 	</div>

 EOHTML;


 	# Generate the web page
 	$App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
 ?>
	<?php require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/app.class.php"); require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/nav.class.php"); require_once($_SERVER['DOCUMENT_ROOT'] . "/eclipse.org-common/system/menu.class.php"); $App = new App(); $Nav = new Nav(); $Menu = new Menu(); include($App->getProjectCommon()); # All on the same line to unclutter the user's desktop'

	#*****************************************************************************
	#
	# template.php
	#
	# Author: Freddy Allilaire
	# Date: 2005-12-07
	#
	# Description: Type your page comments here - these are not sent to the browser
	#
	#
	#****************************************************************************

	#
	# Begin: page-specific settings. Change these.
	$shortTitle = "Bridging Grafcet, Petrinet, and PNML";
	$pageTitle = "ATL Use Case - " . $shortTitle;
	$pageKeywords = "";
	$pageAuthor = "Freddy Allilaire";

	# End: page-specific settings
	#

	# Paste your HTML content between the EOHTML markers!
	$html = <<<EOHTML

	<!-- Main part -->
	<div id="midcolumn">
	<h1>$pageTitle</h1>

	<img align="right" src="../../resources/atlLogoSmall.png" valign="top" style="padding-left: 10px;" alt="ATL Logo" />
	<blockquote>
	<ul>
	<li><a href="#keywords"><b>Keywords</b></a></li>
	<li><a href="#overview"><b>Overview</b></a></li>
	<li><a href="#relatedUseCases"><b>Related Use Cases</b></a></li>
	<li><a href="#download"><b>Download</b></a></li>
	<li><a href="#acknowledgement"><b>Acknowledgement</b></a></li>
	</ul>
	</blockquote>

	<hr class="clearer" />

	<div id="container>
	<p align="justify">

	</p>

	<h4 STYLE="font-size: 10pt; padding: 0; border-bottom: 2px solid #49457C; background-position: top left; background-repeat; repeat-x;"><a name="keywords"></a>Keywords</h4>
	<table width="100%">
	<COLGROUP>
	<COL width="2%" />
	<COL width="98%" />
	</COLGROUP>
	<tr>
	<td></td>
	<td>
	<p align="justify">
	Petrinet,
	Grafcet,
	PNML
	</p>
	</td>
	</tr>
	</table>

	<h4 STYLE="font-size: 10pt; padding: 0; border-bottom: 2px solid #49457C; background-position: top left; background-repeat; repeat-x;"><a name="overview"></a>Overview</h4>

	<table width="100%">
	<COLGROUP>
	<COL width="2%" />
	<COL width="98%" />
	</COLGROUP>
	<tr>
	<td></td>
	<td>
	<p align="justify">
	This use case provides a complete bridge between Grafcet, Petri Net and PNML.
	Petri net representation (in the PNML format) from a textual definition of a Grafcet and in the opposite way.
	</p>
	<p align="justify">
	Grafcet is a mainly French-based representation support for discrete system. It is a mode of
	representation and analysis of an automatism, particularly adapted to sequential systems with
	evolution, i.e. decomposable in steps. The Grafcet's name came from "graph" because this model
	had a graphic basis, and AFCET (Association francaise de cybernetique economique et technique)
	from the scientific association which supported it. The Grafcet represents graphically the operation of
	an automatism by: steps with associated action, transitions between steps, and directed connections
	between the steps and the transitions.
	</p>
	<p align="justify">
	Petri nets are also known as a place/transition net or P/T net. Defined in 1962 by Carl Adam Petri,
	they extend state machines with a notion of concurrency. It is a graphical and mathematical
	representation of discrete distributed systems. Petri nets consist of places, transitions and directed
	arcs that connect them, so arcs run between places and transitions, not between places and places or
	transitions and transitions. There are two sorts of arcs connecting place to transition or transition to place.
	</p>
	<p align="justify">
	The Petri Net Markup Language (PNML) is a proposal of an XML-based interchange format for Petri
	nets. Originally, it was intended to serve as a file format for the Java version of the Petri Net
	Kernel. PNML is a concept for defining the overall structure of a Petri net file.
	</p>
	<p align="justify">
	The overall approach is summarized in the following figure:
	</p>
	<p align="center">
	<img src="img/UseCaseOverview.png" />
	<br /><br />
	<b>"$shortTitle" Use Case's Overview</b>
	</p>
	<p align="justify">
	The Model-to-Model transformation phase was implemented by using ATL model-to-model transformations.
	</p>
	<p align="justify">
	We provide below a set of screenshots showing the different input/output files provided/created with this use case:
	</p>
	<p align="center">
	<img src="img/Sample.png" />
	<br /><br />
	<b>Screenshots of the input/outputs of the use case</b>
	</p>
	</td>
	</tr>
	</table>

	<h4 STYLE="font-size: 10pt; padding: 0; border-bottom: 2px solid #49457C; background-position: top left; background-repeat; repeat-x;">
	<a name="relatedUseCases"></a>Related Use Cases
	</h4>
	<table>
	<COLGROUP>
	<COL width="2%" />
	<COL width="98%" />
	</COLGROUP>
	<tr>
	<td></td>
	<td>
	<p align="justify">
	None at the current time.
	</p>
	</td>
	</tr>
	</table>

	<h4 STYLE="font-size: 10pt; padding: 0; border-bottom: 2px solid #49457C; background-position: top left; background-repeat; repeat-x;">
	<a name="download">Download</a>
	</h4>

	<table width="100%">
	<COLGROUP>
	<COL width="25%">
	<COL width="75%">
	</COLGROUP>
	<tr>
	<td align="center"><a href="http://www.eclipse.org/atl/atlTransformations/#Grafcet2PetriNet"><h3>Complete scenario</h3></a></td>
	<td>Scenario available in the ATL transformation zoo (with source files).</td>
	</tr>
	<tr>
	<td align="center"><a href="http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/#GRAFCET"><h3>Grafcet Metamodel</h3></a></td>
	<td>KM3 metamodel is expressed in the <a href="http://wiki.eclipse.org/index.php/KM3">KM3</a> textual format.</td>
	</tr>
	<tr>
	<td align="center"><a href="http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/#PNML_basic"><h3>PNML basic Metamodel</h3></a></td>
	<td>PNML metamodel is expressed in the <a href="http://wiki.eclipse.org/index.php/KM3">KM3</a> textual format.</td>
	</tr>
	<tr>
	<td align="center"><a href="http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/#PetriNet"><h3>PetriNet Metamodel</h3></a></td>
	<td>PetriNet metamodel is expressed in the <a href="http://wiki.eclipse.org/index.php/KM3">KM3</a> textual format.</td>
	</tr>
	<tr>
	<td align="center"><a href="http://www.eclipse.org/gmt/am3/zoos/atlanticZoo/#XML"><h3>XML Metamodel</h3></a></td>
	<td>XML metamodel is expressed in the <a href="http://wiki.eclipse.org/index.php/KM3">KM3</a> textual format.</td>
	</tr>
	</table>

	<h4 STYLE="font-size: 10pt; padding: 0; border-bottom: 2px solid #49457C; background-position: top left; background-repeat; repeat-x;">
	<a name="acknowledgement"></a>Acknowledgement
	</h4>

	<table width="100%">
	<COLGROUP>
	<COL width="2%">
	<COL width="98%">
	</COLGROUP>
	<tr>
	<td></td>
	<td>
	The present work is being supported by the <a href="http://www.usine-logicielle.org">Usine Logicielle project of the System@tic Paris Region Cluster</a>.
	</td>
	</tr>
	</table>

	</div>
	</div>

	EOHTML;


	# Generate the web page
	$App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
	?>