3,661 Hits in 4.4 sec

Structure and behavior preservation by Petri-net-based refinements in system design

Hejiao Huang, To-yat Cheung, Wai Ming Mak
2004 Theoretical Computer Science  
For systems specified in pure ordinary Petri nets, this paper proposes the conditions imposed on several types of refinement under which the following 19 properties will be preserved: state machine, marked  ...  preserving several equivalence relations and behavioral properties.  ...  (a) Our results extend the preservation of behavioral properties to structural properties: In Petri-net-based system design, properties are the backbone for many aspects of investigation.  ... 
doi:10.1016/j.tcs.2004.07.016 fatcat:bytaaeayh5glbfahutdr5svaku

Generation of Petri Nets Using Structural Property-Preserving Transformations

Roman Nesterov, Semyon Savelyev
2021 Proceedings of the Institute for System Programming of RAS  
In this paper, we present an approach to the generation of Petri nets exhibiting desired structural and behavioral properties.  ...  We have designed two Petri net refinement algorithms supporting the randomized and fixed generation of models.  ...  This work is supported by the Basic Research Program at the National Research University Higher School of Economics (HSE University), Russia.  ... 
doi:10.15514/ispras-2021-33(3)-12 fatcat:32lhvhscobeqti4rb5c2pelj24

Internetware Structure Description and Research of the Petri Net Method

Zhijian Wang, Yuping Hu, Shaohua Li, Dingguo Wei
2011 Journal of Software  
Petri nets describe system graphically and mathematically, provide a way to solve the problems in Internetware description and development.  ...  Architecture design and specification is more important than algorithm or data structure establishment for a complex system, existing Architecture Description Languages are difficult to support the complete  ...  Structure evolution and component-based refinement are problems to be solved in the first step. Some researchers have begun to apply Petri nets in Web services composition.  ... 
doi:10.4304/jsw.6.9.1779-1786 fatcat:yt3q2vnrm5dm7ehhlof6qspyni

Soundness-preserving composition of synchronously and asynchronously interacting workflow net components [article]

Luca Bernardinello, Irina Lomazova, Roman Nesterov, Lucia Pomello
2021 arXiv   pre-print
Through the use of Petri net morphisms and their properties, we prove that this composition of workflow nets preserves component correctness.  ...  We represent component behavior using workflow nets - a class of Petri nets. We propose a general approach to model and compose synchronously and asynchronously interacting workflow nets.  ...  Abstraction and refinement in GWF-nets based on morphisms This section describes a basic technique supporting abstraction and refinement in Petri nets based on α-morphisms.  ... 
arXiv:2001.08064v2 fatcat:eqdlvhnfrzh73pha3t6gj6seai

Rule-Based Refinement of Petri Nets: A Survey [chapter]

J. Padberg, M. Urbášek
2003 Lecture Notes in Computer Science  
Rule-based refinement comprises the transformation of Petri nets using rules while preserving certain system properties. Petri net rules and transformations are expressed by morphisms and pushouts.  ...  Hence, it is adequate to consider our approach as rule-based refinement of Petri nets in general. We have presented various results in recent years at different conferences.  ...  Theorem Union and Fusion Theorems.  ... 
doi:10.1007/978-3-540-40022-6_9 fatcat:zk7z6dlkqjhy3pi7doo4t4djni

Petri net modules in the transformation-based component framework

Julia Padberg, Hartmut Ehrig
2006 The Journal of Logic and Algebraic Programming  
Padberg, Petri net modules, Journal on Integrated Design and Process Technology 6 (4) (2002) 105-120], and on the other hand a generic component framework for system modeling introduced at FASE 2002 in  ...  In addition to general Petri net modules we introduce Petri net modules preserving safety properties which can be considered as another instantiation of pushout based formalization of the generic framework  ...  On purpose we do not require any explicit correspondence between the firing behaviors of EXP and BOD in order to allow the designer of a Petri net module enough freedom to express a refinement relationship  ... 
doi:10.1016/j.jlap.2005.09.007 fatcat:5kyzghabovbb5am5xmleftaa6q

Petri nets approach for designing the migration process towards industrial cyber-physical production systems

Ana Cachada, Flavia Pires, Jose Barbosa, Paulo Leitao
2017 IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society  
This paper describes the use of Petri nets to design the migration process under the PERFoRM perspective, taking advantage of its inherent capabilities to design, analyze, simulate and validate such complex  ...  In particular, the smooth migration process is considered crucial to effectively transpose existing production systems into truly CPPS.  ...  ACKNOWLEDGMENT This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 680435.  ... 
doi:10.1109/iecon.2017.8216591 dblp:conf/iecon/CachadaPBL17 fatcat:ie4vdqzb2bcyxgsvtyqd2tzoje

Modeling and Analysis Methods for Multi-Agent Systems [chapter]

Jose R., Alan A.
2009 Multiagent Systems  
The work presented by Hsieh in [5] proposed a new model called a collaborative Petri net and addressed the question of deadlock and undesirable state avoidance under the contract net protocol.  ...  Properties: If a multi-agent system is regarded as a discrete-event system and modeled using Petri nets, then properties known to be important in the discrete-event systems and Petri net domains could  ...  Refinement is used to design a system that conforms to certain desired properties like liveness, boundedness and reversibility.  ... 
doi:10.5772/6596 fatcat:svwrogmzkngtpfdftohbggwbui

Introducing the modeling and verification process in SysML

Marcos V Linhares, Romulo S. de Oliveira, Jean-Marie Farines, Francois Vernadat
2007 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)  
In order to demonstrate this methodology, it will be used a factory automation system, modeled by SysML and Petri nets, and verified by the TINA toolbox.  ...  Petri nets and temporal logic LTL are used respectively to formalize the system behavior and requirements. The benefit of such formalization is to allow an automatic formal verification.  ...  Many techniques for analysis of Time Petri nets proceed by building a labeled transition system (LTS) preserving the properties of interest (e.g. reachability set, deadlocks), in a first step, and then  ... 
doi:10.1109/efta.2007.4416788 dblp:conf/etfa/LinharesOFV07 fatcat:7alhz6y6h5fi3p7nkeabsk665q

Combined approach architecture development to simulation modeling of systems with parallelism

Oksana Suprunenko
2021 Eastern-European Journal of Enterprise Technologies  
An extension of the formal language of Petri nets is presented, which has greater modeling power than WF nets. The properties of hierarchical Petri nets are used to synthesize a holistic model.  ...  A conceptual model for the synthesis and analysis of systems with parallelism is proposed, which provides for the construction of the components of the model based on the architecture.  ...  problem and will be refined.  ... 
doi:10.15587/1729-4061.2021.239212 fatcat:225jg5y5m5aotfbnmcwdh2yy74

Petri Net Transformations [chapter]

Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Claudia Ermel, Ulrike Prange, Enrico Biermann, Tony Modic
2008 Petri Net, Theory and Applications  
Refinement Rule-based refinement comprises the transformation of Petri nets using rules while preserving certain net properties.  ...  Rule-based refinement modifies Petri nets using rules and transformations so that specific system properties are preserved. For a brief discussion see Subsection 4.6.  ...  based on Petri nets.  ... 
doi:10.5772/5310 fatcat:3qgulsbdezgcxdnbaomwzdmrte

A Petri Net Synthesis Method

Chuanliang Xia
2010 Journal of Networks  
We motivate and study the synthesis of Petri nets. Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net.  ...  For systems specified in Petri nets, this paper proposes a synthesis method.  ...  In [16, 17] , Xia proved that tt-type refinement and pp-type refinement preserve some structural properties.  ... 
doi:10.4304/jnw.5.6.699-707 fatcat:s6etmy4vsnbyfi5eg2uj7g4tfy

Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow [chapter]

David G. Stork, Rob van Glabbeek
2002 Lecture Notes in Computer Science  
Our refined nets have a hierarchical structure which can be represented by bipartite trees.  ...  We propose extensions to predicate/transition nets to allow tokens to carry both data and control information, where such control can refine special "refinable place nodes" in the net.  ...  Petri Nets with Refinement: Refinement in a Petri net is the process by which a node in a network is replaced by other networks [24, 11, 7] .  ... 
doi:10.1007/3-540-48068-4_23 fatcat:4qcq2u5xznfxfn35o7gymhu3he


Eric Le Mer
1982 Proceedings of the June 7-10, 1982, national computer conference on - AFIPS '82  
These concepts give us a guide for designing real-time systems; two tools are also introduced, having a specific action in the design process: OGIVE, a Petri net analyzer, makes the verification and the  ...  We introduce a global design methodology for large-scale real-time systems; it is based on such concepts as data-flow analysis, sequential processes, communication links, abstract architecture.  ...  The paper attempts to show how the continuity of the concepts is preserved during the design process according to a top-down methodology by stepwise refinements.  ... 
doi:10.1145/1500774.1500806 dblp:conf/afips/Mer82 fatcat:ofikubaysfho7blaao2zpu472m

Software modeling and analysis using a hierarchical object-oriented Petri net

Jang-Eui Hong, Doo-Hwan Bae
2000 Information Sciences  
Petri net is used widely to analyze and model various systems formally. Recently, many Petri nets mania devote their eorts to enhancing and extending the expressive power of Petri nets.  ...  In this paper, we propose a hierarchical object-oriented Petri net (HOONet). The formal syntax and semantics of HOONet are explained in detail.  ...  Hierarchical object-oriented Petri net The purpose of designing HOONet is to aid in the modeling and analysis of object-oriented software systems and to bridge the gap between formal treatment of Petri  ... 
doi:10.1016/s0020-0255(00)00090-6 fatcat:arfogumn4jdjhcqgr3k26gmh3e
« Previous Showing results 1 — 15 out of 3,661 results