( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms.

, , , и . Trans. Petri Nets Other Model. Concurr., (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Annie Luciani

Fabio Luciani

Etienne Luciani

Sergio Lucia

Andrea Luciani

 

Другие публикации лиц с тем же именем

Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets., , , и . Workshop on Membrane Computing, том 4860 из Lecture Notes in Computer Science, стр. 124-137. Springer, (2007)A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence., , , и . Concurrency, том 335 из Lecture Notes in Computer Science, стр. 222-236. Springer, (1988)Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design., , , и . ICDCS, стр. 486-495. IEEE Computer Society, (1985)On the Decomposition of Regional Events in Elementary Systems., , , и . ATAED@Petri Nets/ACSD, том 2115 из CEUR Workshop Proceedings, стр. 39-55. CEUR-WS.org, (2018)Compositional Discovery of Workflow Nets from Event Logs Using Morphisms., , , и . ATAED@Petri Nets/ACSD, том 2115 из CEUR Workshop Proceedings, стр. 23-38. CEUR-WS.org, (2018)Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets., , , и . Trans. Petri Nets Other Model. Concurr., (2023)On Orthomodular Posets Generated by Transition Systems., , и . QPL/DCM@ICALP, том 270 из Electronic Notes in Theoretical Computer Science, стр. 147-154. Elsevier, (2008)On Stability of Regional Orthomodular Posets., , , и . Trans. Petri Nets Other Model. Concurr., (2018)Weak Observable Liveness and Infinite Games on Finite Graphs., , и . Petri Nets, том 10258 из Lecture Notes in Computer Science, стр. 181-199. Springer, (2017)Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms., , и . Trans. Petri Nets Other Model. Concurr., (2013)