Filters








4,479 Hits in 7.7 sec

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

Andreas Oberweis, Wolffried Stucky, Gabriele Zimmermann
1996 Distributed Information Systems in Business  
Distributed multi-user simulation and prototyping are proposed for the evaluation and analysis of NR/T-nets and the involved object schemata.  ...  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.  ...  The INCOME/STAR prototype is based on INCOME (Interactive Net-based Conceptual Modeling Environment), an existing tool for conceptual modeling and prototyping of information systems.  ... 
doi:10.1007/978-3-642-80216-4_2 fatcat:drff4d2a7bfell5j2yefa7dv7u

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  ...  Distributed multi-user simulation and prototyping are used for the evaluation and analysis of NR/T-nets and the involved object schema.  ...  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

A novel modeling language for tool-based business process engineering

Marco Mevius
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
Modules and basic functions of a Performance net-based software prototype called PerformanceSimulator2010, designed to support the complete life cycle of performance indicator-based business process engineering  ...  Business processes modeled with Performance nets can be simulated, and therefore verified on their effectiveness and efficiency, before their implementation.  ...  The software prototype serves for simulation of the business process-schemata and is used for validation of modeled business processes.  ... 
doi:10.1145/1363686.1363828 dblp:conf/sac/Mevius08 fatcat:aucw5hqpwrf3tmykgixwe77xaa

Integrating Manufacturing Simulation Tools Using Distributed Object Technology [chapter]

Nicola Senin, Roberto Groppetti, Alessandro Rossi, David R. Wallace
2000 Advances in Networked Enterprises  
To demonstrate the approach, a tool for shop floor simulation based on stochastic timed Petri Nets, and a toa/ for simulation of machine tool motions during part program execution are integrated using  ...  The implemented prototype can be used for process parameter configuration, system simulation, and eventually real time system supervision and control in a concu"ent engineering environment.  ...  MANUFACTURING SYSTEM MODELING WITH PETRI NETS Fundamentals Petri Nets (PN) are a formalism and a modeling tool that can be used, amongst many other things, for discrete-event simulation of manufacturing  ... 
doi:10.1007/978-0-387-35529-0_43 fatcat:md22zctsmrdejb4jq6a2o73pmu

Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation [chapter]

J. Marco Mendes, Francisco Restivo, Paulo Leitão, Armando W. Colombo
2010 IFIP Advances in Information and Communication Technology  
One promising solution are service-oriented industrial automation systems, but integrated software methodologies and major frameworks for the engineering are still missing.  ...  This paper presents an overview of the current results on a unified and integrated methodology based on intrinsic and novel features of Petri nets.  ...  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.1007/978-3-642-11628-5_25 fatcat:mi4otsyhabaeliwxtpwtedn5rq

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  
This paper describes a model-driven approach to the flexible integration of software system components.  ...  Also described within the paper are the techniques which have been devised to generate code of new software system components.  ...  Petri-nets, object-oriented design, and the services of the CIM-BIOSYS5 integrating infrastructure to support systems integration projects.  ... 
doi:10.1007/978-0-387-34919-0_5 fatcat:bas3gugpynbk5ic2cbiwjujana

Accurate Complex Systems Design: Integrating Serious Games with Petri Nets

Kirsten Sinclair, Daniel Livingstone
2016 International Journal of Serious Games  
Petri Nets are one graphical modelling technique used to describe and check proposed designs of complex systems thoroughly.  ...  Improvement of a complex system design is demonstrated by applying the integration to a proof-of-concept case study.  ...  Although all these studies are useful in terms of method and technology used to achieve a serious game prototype, they do not consider the integration of serious games and Petri Nets from a complex systems  ... 
doi:10.17083/ijsg.v3i1.105 fatcat:ppgscq2oivbp3amvadgfg5zxna

Design validation of embedded dependable systems

A. Bondavalli, A. Fantechi, D. Latella, L. Simoncini
2001 IEEE Micro  
The current disciplines of hardware, firmware, software, and application engineering-commonly considered as separate-must evolve toward a system engineering discipline.  ...  Manufacturers must verify the qualities of both product and process design; the product-in-aprocess approach is an evolutionary one that must account for changes and modifications. • An integrated and  ...  The use of formal methods for the specification and verification of system properties is one methodological improvement in the system production process.  ... 
doi:10.1109/40.958699 fatcat:wghik64werc27lhq3tyumg2xn4

Generating Interface Prototype for EnergyPlus IDD File Using Unified Modeling Language and Coloured Petri-nets

Bachkhaznadji Abdeldjebbar, Belhamri Azeddine
2012 Energy Procedia  
The result of the overall approach is a specification consisting of a global coloured Petri-net which can be analysed by means of a simulation together with the generated and refined IDD interface prototype  ...  Coloured Petri-nets are used in specification and check on the behaviour of these interfaces before their implementation.  ...  Visual formalism for modelling the interactive IDD interface prototype Coloured Petri-nets are among the most powerful visual formalism used for specifying complex and interactive system.  ... 
doi:10.1016/j.egypro.2012.05.164 fatcat:e5b3eq2gircyno7bix4xckk3zq

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.  ...  Flexibility of process support is a key requirement for current and future business applications.  ...  Acknowledgement We wish to thank our former colleagues Peter Jaeschke, Volker Sänger, and Thomas Wendel for valuable discussions and many useful comments on earlier versions of this paper as well as for  ... 
doi:10.1007/978-3-642-57737-6_32 fatcat:7k5p7nbzqnfl3etlx2kwxazgyi

The PARSE Project [chapter]

I. E. Jelly, I. Gorton
1996 IFIP Advances in Information and Communication Technology  
Within the PARSE project, issues relating to the development of parallel and distributed software are being researched.  ...  This paper reviews the work undertaken in the project, indicates future directions for research and provides a bibliography of key publications.  ...  role in the development of robust software systems, and the integration of behavioural analysis techniques involving Petri nets has been explored.  ... 
doi:10.1007/978-0-387-34984-8_24 fatcat:3iy3rwlhznarzekit235a5u3vi

Modules for Rapid Application Development of Web-Based Information Systems (RADWIS)

S. Cheresharov, H. Krushkov, S. Stoyanov, I. Popchev
2017 Cybernetics and Information Technologies  
A workflow engine module, based on the Petri Nets theory, allows a graphical and formal mathematical solution for a wide variety of problems.  ...  This paper describes a model of modular system for Rapid Application Development of Web-based Information Systems (RADWIS).  ...  Petri Nets theory even has its own Petri Net Markup Language (PNML). The Workflow Management System (Workflow Engine) Module is one of many RADWIS Modules.  ... 
doi:10.1515/cait-2017-0033 fatcat:xakqh2p5obcx7l2ctjyitfpauu

Awareness and workflow based coordination of networked co-operations in structural design

Sascha Alda, Jochen Bilek, Armin B. Cremers, Dietrich Hartmann
2006 Journal of Information Technology in Construction  
Recent off-the-shelf software systems, however, fail for coordinating these complex activities in this area.  ...  Modern engineering projects in the application domain of structural design are organized as networked co-operations due to permanently enlarged competition pressure and a high degree of complexity while  ...  Moreover, the authors thank all team members of the agent systems working group for their close collaboration and beneficial teamwork over the last view years.  ... 
dblp:journals/itcon/AldaBCH06 fatcat:cod6wlisbnebhnhbgryh4f5p4a

Workflow Validation Framework in Distributed Engineering Environments [chapter]

Wikan Danar Sunindyo, Thomas Moser, Dietmar Winkler, Richard Mordinyi, Stefan Biffl
2011 Lecture Notes in Computer Science  
However, the heterogeneity of workflows used in different engineering domains make it hard for project managers to integrate and validate such workflows.  ...  Automation systems, like power plants and industrial production plants, usually involve heterogeneous engineering domains, e.g., mechanical, electrical, and software engineering, that are required to work  ...  This work has been supported by the Christian Doppler Forschungsgesellschaft and the BMWFJ, Austria.  ... 
doi:10.1007/978-3-642-25126-9_34 fatcat:k3aiyienrne5pjd47luppicyry

Testing Technical Feasibility in CPS Development Projects

Moritz von Hoffen, Friedrich Chasin, Martin Matzner, Florian Plenter, Jan Hendrik Betzing
2017 Wissensbasierte Systeme  
Based on these factors, we develop a method for creating CPS testbeds that allow testing of CPSs at lower costs at an early stage of the development.  ...  The high development and potentially high hardware costs, however, make it difficult to create a full CPS prototype only for testing.  ...  However, the number of places in the resulting Petri net can be large for complex business processes.  ... 
dblp:conf/wi/HoffenCMPB17 fatcat:j6ctsttvpjduhonedrssxbcbje
« Previous Showing results 1 — 15 out of 4,479 results