19,385 Hits in 6.0 sec

Information system behavior specification by high level Petri nets

Andreas Oberweis, Peter Sander
1996 ACM Transactions on Information Systems  
In this article, we show how this can be achieved by high-level Petri nets-namely, the so-called NR/T-nets (Nested-Relation/ Transition Nets).  ...  The specification of an information system should include a description of structural system aspects as well as a description of the system behavior.  ...  Behavior Specification by High-Level Petri Nets • Example 4.5.  ... 
doi:10.1145/237496.237498 fatcat:lzjaqpzgrjeuxno3ttaumskyxq

Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification [chapter]

Filipe Moutinho, Luís Gomes
2013 IFIP Advances in Information and Communication Technology  
This paper proposes to include in high-level Petri nets a set of concepts already introduced for lowlevel Petri nets allowing the specification of GALS systems, namely time domains, test arcs and priorities  ...  With these extensions, GALS-DES can be specified using high-level Petri nets.  ...  The first author was supported by a FCT grant, ref. SFRH/BD/62171/2009.  ... 
doi:10.1007/978-3-642-37291-9_24 fatcat:ljdfpaxxa5bcbmvxt2cm2kqnii

Petri Net Based Design of Reconfigurable Embedded Real-Time Systems [chapter]

Carsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson
2002 IFIP Advances in Information and Communication Technology  
We describe the main ideas for extending our formal model of High-Level Petri Nets in order to capture these systems. Furthermore, we describe our approach for timing analysis of these systems.  ...  The methodology supports the complete design flow reaching from modeling of embedded systems on a high level of abstraction over simulation and analysis down to the implementation on target platforms.  ...  Instead of a monolithic High-Level Petri Net model as before, our methodology now uses a set of Petri Net languages as formal model.  ... 
doi:10.1007/978-0-387-35599-3_5 fatcat:huthummtdfawzoho3njwshbf7y

Colored Petri nets as the enabling technology in intrusion detection systems

A. Dolgikh, T. Nykodym, V. Skormin, J. Antonakos, M. Baimukhamedov
2011 2011 - MILCOM 2011 Military Communications Conference  
Keywords-behavior based IDS, Colored Petri Net, functionality detection, behavior detection I.  ...  In the detection domain, monitored system calls are combined into API functions utilizing Colored Petri nets (CPN).  ...  This renders slow or high volume attacks impractical. II. COLORED PETRI NET DESCRIPTION Colored Petri nets (CPN) are a backward compatible extension of Petri Nets [8] .  ... 
doi:10.1109/milcom.2011.6127481 dblp:conf/milcom/DolgikhNSAB11 fatcat:jqm76mw3uza3hi5to6ekeiycxa

Digital systems synthesis from Petri net descriptions

Norian Marranghello
1998 DAIMI Report Series  
During about the last fifteen years the importance and use of Petri nets as a language for modeling digital systems have greatly increased.  ...  With such a growing importance in mind, this report aims at presenting an overview of the research going on the application of Petri nets to the description of digital systems and the synthesis of the  ...  Such a synthesis system generates rule based formal behavioral specifications of logic controllers in the so called Petri net specification format (PNSF) [45] .  ... 
doi:10.7146/dpb.v27i530.7059 fatcat:dozzfyrowfekbcftgxoxykpulu

INCOME/STAR: Methodology and tools for the development of distributed information systems

Andreas Oberweis, Gabriele Scherrer, Wolffried Stucky
1994 Information Systems  
This paper presents some of INCOME/STAR's innovative features in the area of information systems engineering: First a new type of high-level Petri nets, so-called Nested Relation/Transition nets (NR/Tnets  ...  The application program generator produces C-Programs with embedded SQLcommands from the conceptual behavior schema. z simulation and prototyping facilities based on high-level Petri nets (cf.  ...  specification is stored as a set of high-level Petri nets.  ... 
doi:10.1016/0306-4379(94)90034-5 fatcat:fbiuvfbslbbbdpkx25udulrlbu

INCOME/STAR: Facing the Challenges for Cooperative Information System Development Environments [chapter]

Andreas Oberweis, Wolffried Stucky, Gabriele Zimmermann
1996 Distributed Information Systems in Business  
First an extension of high-level Petri nets is described: NR/T-nets allow modeling of concurrent processes and related complex structured objects in distributed business applications.  ...  Then, ProMISE -an evolutionary process model for information system development -is surveyed.  ...  specification is stored as a set of high-level Petri nets.  ... 
doi:10.1007/978-3-642-80216-4_2 fatcat:drff4d2a7bfell5j2yefa7dv7u

Formal Specification and Prototyping of CORBA Systems [chapter]

Rémi Bastide, Ousmane Sy, Philippe Palanque
1999 Lecture Notes in Computer Science  
We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets.  ...  The high level of formality of the chosen formalism allows for mathematical analysis of behavioral specifications.  ...  The final goal of the project is to provide a fully integrated CASE tool supporting our approach of behavioral specification of distributed object systems using high-level Petri nets.  ... 
doi:10.1007/3-540-48743-3_22 fatcat:d4h7ndsjsber5g2ejjyt3xguom

Mapping AADL to Petri Net Tool-Sets Using PNML Framework

Hassan Reza, Amrita Chatterjee
2014 Journal of Software Engineering and Applications  
The justification for using PNML is that the framework provides a context in which interoperability and exchangeability among different models of a system specified by different types of Petri nets is  ...  Toward this goal, we exploit Petri Net Markup Language (PNML), which is a standard acting as the intermediate language between different classes of Petri Nets.  ...  In [19] , AADL is extended by High Level Petri Nets for model based testing [22] .  ... 
doi:10.4236/jsea.2014.711082 fatcat:bhf3lbzyafhohomuuordhyzyue

"What Is a Petri Net?" Informal Answers for the Informed Reader [chapter]

Jörg Desel, Gabriel Juhás
2001 Lecture Notes in Computer Science  
Finally, the role of Petri nets in the development of distributed systems is discussed.  ...  The increasing number of Petri net variants naturally leads to the question whether the term "Petri net" is more than a common name for very different concepts.  ...  Different states of a component can be represented by different places or by a single high-level place (i.e., a place of a high-level Petri net).  ... 
doi:10.1007/3-540-45541-8_1 fatcat:ug6xrwu37bellazqlt3cuijeye

Income/Wf — A Petri Net Based Approach to Workflow Management [chapter]

Andreas Oberweis, Roland Schätzle, Wolffried Stucky, Wolfgang Weitz, Gabriele Zimmermann
1997 Wirtschaftsinformatik '97  
In this paper we present INCOME/WF -a prototype of a workflow management system based on high-level Petri nets as workflow modelling and execution language.  ...  Both requirements are not yet sufficiently fulfilled by existing WFMS.  ...  High-level Petri nets [BRR87] support an integrated description of object related and behavioral system aspects, because tokens in high-level Petri nets are structured objects with attributes to which  ... 
doi:10.1007/978-3-642-57737-6_32 fatcat:7k5p7nbzqnfl3etlx2kwxazgyi

WS-Net: a Petri-net based specification model for Web services

Jia Zhang, C.K. Chang, Jen-Yao Chung, S.W. Kim
2004 Proceedings. IEEE International Conference on Web Services, 2004.  
As an architectural model that formalizes the architectural topology and behaviors of each web services component as well as the entire system, WS-Net facilitates the verification and monitoring of web  ...  As research aiming at facilitating web services integration and verification, WS-Net is an executable architectural description language incorporating the semantics of Colored Petri-net with the style  ...  EDDA [15] combines Petri nets and SADT technology for high-level system specifications.  ... 
doi:10.1109/icws.2004.1314766 dblp:conf/icws/ZhangCCK04 fatcat:d7vj4t2tvbgozayfpf3igecfeu

A formal notation and tool for the engineering of CORBA systems

R�mi Bastide, Ousmane Sy, Philippe Palanque
2000 Concurrency Practice and Experience  
We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets.  ...  We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets.  ...  We propose the use of high-level Petri nets as the behavioral specification medium for CORBA systems.  ... 
doi:10.1002/1096-9128(20001210)12:14<1379::aid-cpe514>;2-b fatcat:aaqggnbeyjg77bi34ue6ylwhre

A timed colored Petri nets modeling for dynamic workflow in product development process

Seungchul Ha, Hyo-Won Suh
2008 Computers in industry (Print)  
We define PWF-nets based on timed colored Petri nets for the workflow management of PDP and propose a method of organizing PWF-nets that are composed of workflow patterns.  ...  Thus, we define transition behaviors and function primitives to support the construction of workflow patterns for PWF-nets.  ...  Extended Petri nets include several high-level Petri nets such as a timed Petri net, a colored Petri net, and a hierarchical Petri net.  ... 
doi:10.1016/j.compind.2007.06.016 fatcat:7d2kz443pnhetplyqxnx3snnuq

Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automation

Paulo Leitao, Joel Alves, J. Marco Mendes, Armando W. Colombo
2010 2010 IEEE International Symposium on Industrial Electronics  
This paper introduces an approach to decision support systems in service-oriented automation control systems, which considers the knowledge extracted from the Petri nets models used to describe and execute  ...  the process behavior.  ...  considers High-level Petri nets as formal language to describe and execute the structure and predictive behavior of a production system (see [3] for information about the type of High-level Petri nets  ... 
doi:10.1109/isie.2010.5637342 fatcat:2neslx43wfex5ovizvv6iddhqy
« Previous Showing results 1 — 15 out of 19,385 results