Eclipse Community Forums: M2M (model-to-model transformation) » [ATL] Transformation of Petri nets models

Help

Home

Home » Archived » M2M (model-to-model transformation) » [ATL] Transformation of Petri nets models

Show: Today's Messages :: Show Polls :: Message Navigator

[ATL] Transformation of Petri nets models [message #94315]

Fri, 31 October 2008 18:59

Oscar Ribeiro

Messages: 1
Registered: July 2009

Junior Member

Hi,

Does anyone know about the usage of ATL to define transformations that
involve high-level Petri nets models, such as colored Petri nets models?

Thank you in advance. Regards,
Oscar

Report message to a moderator

Re: [ATL] Transformation of Petri nets models [message #94333 is a reply to message #94315]

Mon, 03 November 2008 09:17

Freddy Allilaire

Messages: 130
Registered: July 2009

Senior Member

This is a multi-part message in MIME format.
--------------080607070907050507020500
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit

Hi Oscar,

There are examples involving Petri nets on ATL website:
http://www.eclipse.org/m2m/atl/usecases/SimplePDL2Tina/
http://www.eclipse.org/m2m/atl/atlTransformations/#PathExp2P etriNet

HTH

Regards,
Freddy.

Oscar R. Ribeiro a

Report message to a moderator

Previous Topic:	Generating an EReference (containment = false)
Next Topic:	[ATL] condition in source pattern

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 25 16:32:04 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter