Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms-Reference-Cited by-同舟云学术

Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms

Published:2013 Issue: Volume: Page:48-70
ISSN:0302-9743
Container-title:Transactions on Petri Nets and Other Models of Concurrency VIII
language:
Short-container-title:

Author:

Bernardinello Luca,Mangioni Elisabetta,Pomello Lucia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40465-8_3

Reference20 articles.

1. Lecture Notes in Computer Science;M.A. Bednarczyk,2003

2. Lecture Notes in Computer Science;M.A. Bednarczyk,2001

3. Bernardinello, L., Mangioni, E., Pomello, L.: Composition of Elementary Net Systems based on α-morphisms. In: Köhler-Bußmeier, M. (ed.) Joint Proc. of LAM 2012, WooPS 2012, and CompoNet 2012, Hamburg, Germany, June 25-26. CEUR Workshop Proceedings, vol. 853, pp. 87–102. CEUR-WS.org (2012)

4. Bernardinello, L., Mangioni, E., Pomello, L.: Local State Refinement on Elementary Net Systems: an Approach Based on Morphisms. In: Cabac, L., Duvigneau, M., Moldt, D. (eds.) Proceedings of he Petri Nets and Software Engineering. International Workshop, PNSE 2012, Hamburg, Germany, June 25-26. CEUR Workshop Proceedings, vol. 851, pp. 138–152. CEUR-WS.org (2012)

5. Bernardinello, L., Monticelli, E., Pomello, L.: On preserving structural and behavioural properties by composing net systems on interfaces. Fundam. Inform. 80(1-3), 31–47 (2007)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach;Software and Systems Modeling;2022-05-03

2. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms;Transactions on Petri Nets and Other Models of Concurrency XVI;2022

3. Compositional Process Model Synthesis Based on Interface Patterns;Communications in Computer and Information Science;2017-12-30

4. Petri Net Models and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing;ACM Transactions on Embedded Computing Systems;2017-09-15

5. Modeling Distributed Private Key Generation by Composing Petri Nets;Lecture Notes in Computer Science;2014