6,622 Hits in 4.2 sec

Internet-enabled modelling of extended manufacturing enterprises using process-based techniques

Kai Cheng, Yaroslav Popov
2004 The International Journal of Advanced Manufacturing Technology  
It is proposed to apply the Open System Architecture for CIM (CIMOSA) modelling framework alongside with object-oriented Petri Net models of enterprise processes and objectoriented techniques for extended  ...  Elementary examples of object-oriented Petri Net implementation and real-time visualisation are presented.  ...  Object-oriented Petri Net Modelling of Enterprise Processes Petri Net (PN) is a mathematical formalism specially suited to analyse and model dynamic discrete event systems.  ... 
doi:10.1007/s00170-003-1725-8 fatcat:yy7s24nugvhmxfmyw7y3ctpvty

Composition of Modular Models for Verification of Distributed Automation Systems

Andreas Zeller, Michael Weyrich
2018 Procedia Manufacturing  
This paper presents and discusses a mathematical model for capacity management based on different costing models (ABC and TDABC).  ...  In this context, capacity optimization goes beyond the traditional aim of capacity maximization, contributing also for organization's profitability and value.  ...  Open nets, a modeling technique based on petri nets which were defined for serviceoriented networks in the field of informatics, are extended to adapt to the requirements of industrial automation systems  ... 
doi:10.1016/j.promfg.2018.10.139 fatcat:5lgzce3v5rb3fghelm3aqs2bo4

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

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  ...  NR/T-nets allow the modeling of concurrent processes and related complex structured objects in distributed business applications.  ...  Acknowledgement We wish to thank our colleagues Hans Richter, Volker Sänger, and Wolfgang Weitz for valuable discussions and many useful comments on this paper.  ... 
doi:10.1016/0306-4379(94)90034-5 fatcat:fbiuvfbslbbbdpkx25udulrlbu

Customizable service-oriented Petri net controllers

J. Marco Mendes, Francisco Restivo, Paulo Leitao, Armando W. Colombo
2009 2009 35th Annual Conference of IEEE Industrial Electronics  
A suitable approach is to use the powerful set of features that Petri nets formalism provides for such dynamic systems.  ...  This paper presents a token game template that is part of the open methodology for the development of customized Petri nets controllers, targeting the engineering of service-oriented industrial automation  ...  ), the EU FP6 "Network of Excellence for Innovative Production Machines and Systems" (I*PROMS), and the European ICT FP7 project "Cooperating Objects Network of Excellence" (CONET) for their support.  ... 
doi:10.1109/iecon.2009.5414914 fatcat:37g4we36ebhhfjre3es4o5nnya

Maintenance Chain Integration Using Petri-Net Enabled Multiagent System Modeling and Implementation Approach

Amy J. C. Trappey, David W. Hsiao, Lin Ma
2011 IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)  
The major contributions of this research include developing a Petri-net enabled Prometheus 2 MAS modeling methodology and constructing a collaborative agent-based maintenance chain framework for integrated  ...  During the MAS design processes, this research combines Prometheus MAS modeling approach with Petri-net modeling methodology and unified modeling language (UML) to visualize and rationalize the design  ...  ROADMAP [17] extends the Gaia methodology for a complex open system.  ... 
doi:10.1109/tsmcc.2010.2057425 fatcat:haodh6seezc4vpl7wwlp3gbjha

A Survey on Workflow Verifications of Petri Nets based Service Process Management

Xiaoxian Yang, Tao Yu, Huahu Xu
2012 International Journal of Grid and Distributed Computing  
In this paper, it reviews workflow verifications of Petri Nets based service process management. First, the workflow and description supporting tools are introduced.  ...  Section 2 introduces the workflow patterns and workflow description supporting tools. Section 3 discusses the service Petri Nets and service workflow modeling techniques.  ...  It is extended from the universal component description language (UCDL), which provides expression generation algorithm for Petri Net.  ... 
doi:10.14257/ijgdc.2015.8.6.09 fatcat:4oqtgzjla5azxhnerdv6oz7tq4

Hybrid high-level nets

Ralf Wieting
1996 Proceedings of the 28th conference on Winter simulation - WSC '96  
This paper presents a new methodology for modeling and simulation of hybrid systems which is called Hybrid High-level Nets (HYNETs).  ...  High-level Petri Nets represent the basic discrete framework, differential algebraic equations (DAEs) are used to describe continuous systems behavior and object-oriented concepts improve the expressiveness  ...  These nets already offer several reasonable features for modeling complex discrete systems.  ... 
doi:10.1145/256562.256828 fatcat:jsopwbz6xjcwjakzhtmzfl56tq

Collaborative, Participative and Interactive Enterprise Modeling [chapter]

Joseph Barjis
2009 Lecture Notes in Business Information Processing  
A challenge to this whole complexity is conflicting descriptions given by different actors when business processes are documented.  ...  For CPI Modeling to succeed the modeling method should adhere to certain qualities.  ...  It is a pleasure to thank several people who participated in the session: first of all, the author of the DEMO Methodology for his participation in the session as an expert; the DutchPlast senior employees  ... 
doi:10.1007/978-3-642-01347-8_54 fatcat:vpixdjx255co3etb3xgvbiwrsa

Rapid prototyping of integrated manufacturing systems by accomplishing model-enactment [chapter]

M. W. C. Aguiar, I. A. Coutts, R. H. Weston
1995 Integrated Manufacturing Systems Engineering  
Open Systems Architecture for CIM). Also described within the paper are the techniques which have been devised to generate code of new software system components.  ...  This paper describes a model-driven approach to the flexible integration of software system components.  ...  This currently places limits on the complexity of the models that can be enacted, although means of achieving re-implementation have been identified which will extend the complexity of systems that can  ... 
doi:10.1007/978-0-387-34919-0_5 fatcat:bas3gugpynbk5ic2cbiwjujana

Design methodology management---a CAD framework initiative perspective

Kenneth W. Fiduk, Sally Kleinfeldt, Marta Kosarchyn, Eileen B. Perez
1990 Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90  
The design of today's electronic systems involves the use of a growing number of complex CAD tools.  ...  This problem is the focus of the Design Methodology Management Technical Subcommittee (DMMTSC) of the CAD Framework Initiative.  ...  In extended Petri nets, additional f i g rules are allowed @i Janni. 1986). .  ... 
doi:10.1145/123186.123274 dblp:conf/dac/FidukKKP90 fatcat:7m2nnpc5grcnjpepd33df6efmm

Seamless visual object-oriented behavior modeling for distributed software systems

H. Giese, J. Graf, G. Wirtz
1999 Proceedings 1999 IEEE Symposium on Visual Languages  
Such an object-oriented notation is crucial for handling complex software systems and can be extended with the graphical expressive power of Petri nets to also describe concurrency and coordination.  ...  The language of OCoNs (Object Coordination Nets) is integrated into the structuring mechanisms of the UML standard for object-oriented analysis and design.  ...  Because we use a special kind of extended Petri nets, those projects which use a variety of high-level Petri nets to model complex concurrent systems, are closely related to ours.  ... 
doi:10.1109/vl.1999.795887 dblp:conf/vl/GieseGW99 fatcat:4ebkqz7d3nfgrgpk7pt46aynue

Service-oriented control architecture for reconfigurable production systems

J. Marco Mendes, Paulo Leitao, Armando W. Colombo, Francisco Restivo
2008 2008 6th IEEE International Conference on Industrial Informatics  
Individual control and interaction is achieved by using embedded or inter-service control processes for which High-Level Petri Nets are proposed.  ...  Evolvable and collaborative production systems are becoming an emergent paradigm towards flexibility and automatic re-configurability.  ...  ), for their support.  ... 
doi:10.1109/indin.2008.4618201 fatcat:b5ku46564vehlbfn6axdp7y5ru

Software Methodologies for the Engineering of Service-Oriented Industrial Automation: The Continuum Project

J. Marco Mendes, Axel Bepperling, João Pinto, Paulo Leitao, Francisco Restivo, Armando W. Colombo
2009 2009 33rd Annual IEEE International Computer Software and Applications Conference  
The present work explains the adopted methodologies and software developments for the engineering of service-based automation systems.  ...  The service-oriented automation software entities (designated here by bots) used in such approach requires a short set of methodologies and software targeting their specification for both computer systems  ...  (SOCRADES), the EU FP6 "Network of Excellence for Innovative Production Machines and Systems" (I*PROMS), and the European ICT FP7 project "Cooperating Objects Network of Excellence" (CONET) for their support  ... 
doi:10.1109/compsac.2009.66 dblp:conf/compsac/MendesBPLRC09 fatcat:ig33qj7cabfg3ovves2rdg23bq

HPNS — A hybrid process net simulation environment executing online dynamic models of industrial manufacturing systems

Sebastian Bohlmann, Volkhard Klinger, Helena Szczerbicka
2009 Proceedings of the 2009 Winter Simulation Conference (WSC)  
Inspired by Petri nets, this paper proposes a new modelling approach is presented to describe those technical systems on different abstraction layer.  ...  The hybrid process net simulator (HPNS) framework allows to specify complex models, typically represented as a system of differential equations mixed with continuous and discrete-event subsystems, based  ...  Our approach to develop a model-based simulation was inspired by the theory of Petri nets. Petri nets allow formal and graph-oriented description for system modelling.  ... 
doi:10.1109/wsc.2009.5429716 dblp:conf/wsc/BohlmannKS09 fatcat:taepnug6tnh2tpwbqkf36praqe
« Previous Showing results 1 — 15 out of 6,622 results