Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

APN
2015
Springer

favoriteEmaildiscussreport

26views Artificial Intelligence» more APN 2015»

Coordination Rules Generation from Coloured Petri Net Models

8 years 5 days ago

Coordination Rules Generation from Coloured Petri Net Models

Download www.arrowhead.eu

Abstract. This paper presents an environment to automatically generate coordination rules from coloured Petri nets models.

Adja Ndeye Sylla, Maxime Louvel, François P

Real-time Traffic

APN 2015 | Artificial Intelligence |

claim paper

Related Content

» Automatic generation of simulation models for semiconductor manufacturing

» Automating the transformationbased analysis of visual languages

» Translating Model Simulators to Analysis Models

» Building a stateful reference monitor with coloured petri nets

» Mobile Synchronizing Petri Nets A Choreographic Approach for Coordination in Ubiquitous Sy...

» From team plan to individual plans a petri netbased approach

» Coloured stochastic multilevel multiset rewriting

» Formal modelling and analysis of XML firewall for serviceoriented systems

» ExampleBased Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search

» Modelling a Secure Mobile and Transactional System with COOPN

Post Info
More Details (n/a)

Added	16 Apr 2016
Updated	16 Apr 2016
Type	Journal
Year	2015
Where	APN
Authors	Adja Ndeye Sylla, Maxime Louvel, François Pacull

Comments (0)