A primer on the Petri Net Markup Language and ISO/IEC 15909-2, LM Hillah, E Kindler, F Kordon, L Petrucci, N Treves

Tags: L. Hillah, F. Kordon, L. Petrucci, E. Kindler, N. Tre, 21 October 2009, University Paris 13, PNML, PNML exchange format, support Challenges, Perspectives, place/transition nets, exchange format, Booleans Multisets Dots SymmetricNets HLCoreStructure L. Hillah, Booleans Multisets SymmetricNets HLCoreStructure L. Hillah, SymmetricNets L. Hillah, Booleans Multisets Dots HLCoreStructure L. Hillah, Essential Ingredients, International Standard, Paris, France L. Hillah
Content: A primer on the Petri net markup language and ISO/IEC 15909-2 Lom Hillah1 Ekkart Kindler2 Fabrice Kordon1 Laure Petrucci3 Nicolas Tre` ves4 1LIP6, Universiteґ Pierre et Marie Curie, Paris, France 2Technical University of Denmark (DTU), Lyngby, Denmark 3LIPN, University Paris 13, Villetaneuse, France 4CEDRIC, CNAM, Paris, France L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 1 / 13
Genesis Genesis of ISO/IEC 15909
Part 1 (2000­2004) formal definition of high-level and place/transition nets InterNational Standard since December 2004 an amendment defining symmetric nets is in final stages of discussion
Part 2 (2003­2010) aims at defining an exchange format, PNML is accompanied by tool support should become an international standard by mid-2010
Part 3 (2009­2013?)
concerned with extensions of nets how to define new types of nets, nodes, arcs include structuring mechanisms extension of the PNML exchange format L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2
CPN'09 -- 19­21 October 2009 2 / 13
Genesis Genesis of ISO/IEC 15909
Part 1 (2000­2004) formal definition of high-level and place/transition nets International Standard since December 2004 an amendment defining symmetric nets is in final stages of discussion
Part 2 (2003­2010) aims at defining an exchange format, PNML is accompanied by tool support should become an international standard by mid-2010
Part 3 (2009­2013?)
concerned with extensions of nets how to define new types of nets, nodes, arcs include structuring mechanisms extension of the PNML exchange format L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2
CPN'09 -- 19­21 October 2009 2 / 13
Genesis Genesis of ISO/IEC 15909
Part 1 (2000­2004) formal definition of high-level and place/transition nets International Standard since December 2004 an amendment defining symmetric nets is in final stages of discussion
Part 2 (2003­2010) aims at defining an exchange format, PNML is accompanied by tool support should become an international standard by mid-2010
Part 3 (2009­2013?)
concerned with extensions of nets how to define new types of nets, nodes, arcs include structuring mechanisms extension of the PNML exchange format L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2
CPN'09 -- 19­21 October 2009 2 / 13
Genesis Genesis of ISO/IEC 15909
Part 1 (2000­2004) formal definition of high-level and place/transition nets International Standard since December 2004 an amendment defining symmetric nets is in final stages of discussion
Part 2 (2003­2010) aims at defining an exchange format, PNML is accompanied by tool support should become an international standard by mid-2010
Part 3 (2009­2013?)
concerned with extensions of nets how to define new types of nets, nodes, arcs include structuring mechanisms extension of the PNML exchange format L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2
CPN'09 -- 19­21 October 2009 2 / 13
Motivation
Motivation
Aims 1 easily and unambiguously exchange models between tools 2 establish semantical correspondence among Petri net types Key issues 1 choice of exchange technology (aim 1) 2 support tool specific information (aim 1) 3 share common concepts (aim 2) 4 manage extensions and variants (aim 2)
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 3 / 13
Motivation
Motivation
Aims 1 easily and unambiguously exchange models between tools 2 establish semantical correspondence among Petri net types Key issues 1 choice of exchange technology (aim 1) 2 support tool specific information (aim 1) 3 share common concepts (aim 2) 4 manage extensions and variants (aim 2)
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 3 / 13
Outline Outline 1 Choices 2 Meta-model hierarchy and essential ingredients 3 Petri net type meta-models 4 PNML syntax 5 Conclusion & Perspectives L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 4 / 13
Choices Choices & Underlying Technologies Key issue 1: exchange technology XML technology (static definition of concepts: XML-Schema, Relax-NG, etc.) Key issues 2 and 4: tool specific information, extensions and variants key issue 4 refines key issue 2: it deals with semantics requires structured meta-models to handle these extensions Key issue 3: common concepts Petri net type = assembly of elementary concepts TPN = PTN + time, FIFO-Nets = PTN + queues, etc. requires advanced structuring of meta-models to handle these compositions L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 5 / 13
Choices Choices & Underlying Technologies Key issue 1: exchange technology XML technology (static definition of concepts: XML-Schema, Relax-NG, etc.) Key issues 2 and 4: tool specific information, extensions and variants key issue 4 refines key issue 2: it deals with semantics requires structured meta-models to handle these extensions Key issue 3: common concepts Petri net type = assembly of elementary concepts TPN = PTN + time, FIFO-Nets = PTN + queues, etc. requires advanced structuring of meta-models to handle these compositions L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 5 / 13
Choices Choices & Underlying Technologies Key issue 1: exchange technology XML technology (static definition of concepts: XML-Schema, Relax-NG, etc.) Key issues 2 and 4: tool specific information, extensions and variants key issue 4 refines key issue 2: it deals with semantics requires structured meta-models to handle these extensions Key issue 3: common concepts Petri net type = assembly of elementary concepts TPN = PTN + time, FIFO-Nets = PTN + queues, etc. requires advanced structuring of meta-models to handle these compositions L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 5 / 13
Choices Choices & Underlying Technologies Key issue 1: exchange technology XML technology (static definition of concepts: XML-Schema, Relax-NG, etc.) riven Key issues 2 and 4: tool specific information, extensions and variants del-D ring key issue 4 refines key issue 2: it deals with semantics Mo inee es requires structured meta-models to handle these extensions Engchniqu Key issue 3: common concepts te Petri net type = assembly of elementary concepts TPN = PTN + time, FIFO-Nets = PTN + queues, etc. requires advanced structuring of meta-models to handle these compositions L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 5 / 13
Meta-model hierarchy and essential ingredients Meta-model Hierarchy and Essential Ingredients
PNML CORE Model
algebra extensions definition of labels definition of algebras pages, nodes, arcs no labels but names basic graphics
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 6 / 13
Meta-model hierarchy and essential ingredients Meta-model Hierarchy and Essential Ingredients
PT-Net <>
SymmetricNet <>
PNML Core Model
algebra extensions definition of labels definition of algebras pages, nodes, arcs no labels but names basic graphics
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 6 / 13
Meta-model hierarchy and essential ingredients Meta-model Hierarchy and Essential Ingredients
PT-Net <>
HLPNG <> SymmetricNet <>
PNML Core Model
algebra extensions definition of labels definition of algebras pages, nodes, arcs no labels but names basic graphics
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 6 / 13
Petri net type meta-models Petri Net Type Meta-models -- Symmetric Nets Definition of an algebra for Symmetric nets
Terms
SymmetricNets <>
HLCoreStructure L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 7 / 13
Petri net type meta-models Petri Net Type Meta-models -- Symmetric Nets Definition of an algebra for Symmetric nets
Terms
Booleans Multisets
SymmetricNets <> HLCoreStructure
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 7 / 13
Petri net type meta-models Petri Net Type Meta-models -- Symmetric Nets Definition of an algebra for Symmetric nets
Terms
SymmetricNets
Booleans Multisets Dots
<> HLCoreStructure
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 7 / 13
Petri net type meta-models Petri Net Type Meta-models -- Symmetric Nets Definition of an algebra for Symmetric nets
Terms
CyclicEnumerations FiniteEnumerations FiniteIntRanges Booleans Multisets Dots
SymmetricNets <> HLCoreStructure
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 7 / 13
Petri net type meta-models Petri Net Type Meta-models -- Symmetric Nets Definition of an algebra for Symmetric nets
<> Terms
Partitions CyclicEnumerations
<>
FiniteEnumerations
FiniteIntRanges
Booleans
Multisets
Dots
SymmetricNets <> HLCoreStructure
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 7 / 13
Petri net type meta-models Petri net type meta-models -- High-Level net graphs Extension of the algebra for High-Level Petri Net Graphs
Terms
HLPNGs <> SymmetricNets
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 8 / 13
Petri net type meta-models Petri net type meta-models -- High-Level net graphs Extension of the algebra for High-Level Petri Net Graphs
<> Terms
Lists Strings Integers
<>
HLPNGs <>
SymmetricNets
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 8 / 13
Petri net type meta-models Petri net type meta-models -- High-Level net graphs Extension of the algebra for High-Level Petri Net Graphs
<> Terms
Lists Strings
<>
HLPNGs
Integers
<>
ArbitraryDeclarations SymmetricNets
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 8 / 13
Petri net type meta-models Petri net type meta-models -- High-Level net graphs Extension of the algebra for High-Level Petri Net Graphs
<> Terms
Lists Strings
<>
HLPNGs
Integers
<>
ArbitraryDeclarations SymmetricNets
High-level meta-model elements and their PNML constructs
Model element
PNML element
Terms::UserSort
usersort
Terms::UserOperator
useroperator
ArbitraryDeclarations::ArbitrarySort arbitrarysort
···
PNML attributes declaration: IDREF declaration: IDREF
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 8 / 13
PNML syntax PNML syntax: an example ready 3 L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 9 / 13
PNML syntax PNML syntax: an example
ready
ready 3
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 9 / 13
PNML syntax PNML syntax: an example
ready
ready 3
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 9 / 13
PNML syntax PNML syntax: an example
ready
2
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 10 / 13
PNML syntax PNML syntax: an example
ready
2
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 10 / 13
PNML syntax PNML syntax: an example
2 ready
2
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 10 / 13
Conclusion
Conclusion & Perspectives
Petri Net types tackled: P/T nets (also in high-level notation) Symmetric nets High Level Petri net graphs reference implementation of APIs companion to the standard: PNML Framework relies on mature MDE technology: Eclipse/EMF Automatic Generation of APIs from the meta-models in the standard assessment of choices MDE techniques require enrichment-based inheritance bottom-up approach of Petri net types design
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 11 / 13
Perspectives
Conclusion & Perspectives
the standard needs to spread out use by more tools actualisation of current support Challenges raised by part 3 more variability in Petri net types guided support of hierarchy handling of several dimensions (time, stochastics, etc.) bottom-up approach of Petri net types design really required here
L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 12 / 13
Conclusion & Perspectives The Standard NEEDS You L. Hillah, E. Kindler, F. Kordon, L. Petrucci, N. Tre` ves A primer on PNML and ISO/IEC 15909-2 CPN'09 -- 19­21 October 2009 13 / 13

LM Hillah, E Kindler, F Kordon, L Petrucci, N Treves

File: a-primer-on-the-petri-net-markup-language-and-isoiec-15909-2.pdf
Title: A primer on the Petri Net Markup Language and ISO/IEC 15909-2
Author: LM Hillah, E Kindler, F Kordon, L Petrucci, N Treves
Published: Sun Oct 18 11:33:33 2009
Pages: 33
File size: 0.29 Mb


, pages, 0 Mb

Glenn Percival, 8 pages, 2.04 Mb

Interview, 9 pages, 0.16 Mb

, pages, 0 Mb
Copyright © 2018 doc.uments.com