Filters








564 Hits in 8.3 sec

Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair [chapter]

Elham Ramezani, Natalia Sidorova, Christian Stahl
2013 Lecture Notes in Computer Science  
We show the decision procedure for soundness and how to repair a workflow that is unsound from the resource perspective by synthesizing a controller such that the composition of the workflow and the controller  ...  The resources are shared among the instances of the same workflow; moreover, other workflows can use the same resources.  ...  Repairing Interval Unsound RCWF-Nets In the previous section, we presented an algorithm to decide interval soundness of an RCWF-net N .  ... 
doi:10.1007/978-3-642-40213-5_10 fatcat:imuxcqf5m5b4zcjyn7cd5mgd4a

Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 20-22, 2008

Kurt Jensen
2008 DAIMI Report Series  
This booklet contains the proceedings of the Ninth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 20-22, 2008.  ...  The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.  ...  This work was supported by Končar -Electrical Engineering Institute, Croatia, and the Ministry of Science, Education and Sports of the Republic of Croatia. Acknowledgements.  ... 
doi:10.7146/dpb.v37i588.7188 fatcat:46y3jj345zha7etipizaaoiism

Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006

Kurt Jensen
2006 DAIMI Report Series  
This booklet contains the proceedings of the Seventh Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2006.  ...  The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.  ...  We also thank Søren for fruitful discussions and feedback on this paper. Acknowledgements This research is supported by EIT and the IOP program of the Dutch Ministry of Economic Affairs.  ... 
doi:10.7146/dpb.v35i579.7322 fatcat:a7bsrdbwkfhvhmd2regosteude

Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998

Kurt Jensen
1998 DAIMI Report Series  
This booklet contains the proceedings of the 1998 Workshop on Practical Use of Coloured Petri Nets and Design/CPN.  ...  The papers are also available in electronic form via the CPN Web pages at University of Aarhus: http://www.daimi.au.dk/CPnets/  ...  Coloured Petri nets and the support of Design/CPN make up a very powerful modelling and analysis tools.  ... 
doi:10.7146/dpb.v27i532.7649 fatcat:6etzboywojbbjidwfpcyxh2br4

An approach for pipelining nested collections in scientific workflows

Timothy M. McPhillips, Shawn Bowers
2005 SIGMOD record  
Department of Energy, and by the National Institutes of Health, grants NS37470 and NS44393.  ...  This work was supported by the National Science Foundation GriPhyN Project, grant ITR-800864, the Mathematical, Information, and Computational Sciences Division subprogram of the Office of Advanced Scientific  ...  and predetermined automation workflows in a constrained way.  ... 
doi:10.1145/1084805.1084809 fatcat:sgtpcat7vzc3veb4dx2jgskpte

A survey on self-healing systems: approaches and systems

Harald Psaier, Schahram Dustdar
2010 Computing  
In this survey, we focus on the selfhealing branch of the research and give an overview of the current existing approaches. The survey is introduced by an outline of the origins of self-healing.  ...  Based on the principles of autonomic computing and self-adapting system research, we identify selfhealing systems' fundamental principles.  ...  Finally, a failure can be identified by the number of occurrence in a given time interval. Permanent failures occur only once and remain in faulty state until repair.  ... 
doi:10.1007/s00607-010-0107-y fatcat:bu6kxztswferrgelipkj4txlie

Product Lines for Digital Information Products

2007 Wirtschaftsinformatik  
The definitions of Petri nets, workflow nets, and QX nets are introduced subsequently. Petri Nets Definition 7.1 (Petri Net).  ...  It has been shown by [May84] that this problem is decidable for the types of Petri nets used here (see Defs. 7.1 -7.3).  ...  Figs. 10.6 and 10.8). • Content requirements - 1 1 0 2 2 1 3 3 2 4 4 3 5 5 4 6 6 5 7 7 6 8 8 6 9 9 7 10 10 8 11 11 9 12 12 10 13 13 11 14 14 11 15 15 11  ... 
doi:10.1007/s11576-007-0136-0 fatcat:z3566zstkzgozied4kqgonmgmu

"A veritable bucket of facts" origins of the data base management system

Thomas Haigh
2006 SIGMOD record  
Acknowledgments ACKNOWLEDGMENTS The research achievements at KDBS Lab is the result of the work of many present and past members of the group.  ...  Bertossi is Faculty Fellow of IBM Center for Advanced Studies (Toronto Lab.). Several contributions and comments by Loreto Bravo are very much appreciated.  ...  concepts of information and the far more constrained capabilities of specific automated systems.  ... 
doi:10.1145/1147376.1147382 fatcat:pk5odqlhqnctdepmcrfsriputi

Modeling and Analyzing Context-Aware Composition of Services [chapter]

Enzo Colombo, John Mylopoulos, Paola Spoletini
2005 Lecture Notes in Computer Science  
Little attention has been given to the specification and verification of context-aware composition of services during the requirement engineering process.  ...  However, so far, most of the research work in this area has been focused on the design of architectures handling service discovery, compatibility and orchestration.  ...  Finally, our approach supports the formal verification of critical properties of a service composition (e.g., termination, structural soundness and achievement of shared goals).  ... 
doi:10.1007/11596141_16 fatcat:ispbdefztbaxtaocd3upfugcy4

Wireless Sensor Networks for Ecology

JOHN PORTER, PETER ARZBERGER, HANS-WERNER BRAUN, PABLO BRYANT, STUART GAGE, TODD HANSEN, PAUL HANSON, CHAU-CHIN LIN, FANG-PANG LIN, TIMOTHY KRATZ, WILLIAM MICHENER, SEDRA SHAPIRO (+1 others)
2005 BioScience  
of the Interdisciplinary Collaboration on Performance Aspects of a High Performance Wireless Research and Education Network), and cooperative agreement DEB-0217533 (for the support of the North Temperate  ...  ), INT-0314015 (for support of the Pacific Rim Application and Grid Middleware Assembly), NSF DBI-0225111 (for support of the Santa Margarita Ecological Reserve), NSF DEB-9634135 and ANI-0087344 (for support  ...  , or simply to repair the sensor or data logger without losing months of data) • Extending the laboratory to the field by enabling researchers in the field to connect with resources in labs around the  ... 
doi:10.1641/0006-3568(2005)055[0561:wsnfe]2.0.co;2 fatcat:oiw4b7yxs5f6hbh7aq37sloxgi

VM-Flow [chapter]

Ivo J. G. dos Santos, Edmundo R. M. Madeira
2004 IFIP International Federation for Information Processing  
For the avoidance of doubt, the content of this report reflects only the opinion of the project consortium members and its authors.  ...  The European Commission is not responsible for its contents, or liable for the possible effects of any usage of the information contained therein.  ...  They present a sound computational model and a wide spectrum language, Abstract Service Design Language (ASDL), with well defined semantics in terms of Interval temporal Logic (ITL), the underlying logical  ... 
doi:10.1007/1-4020-8155-3_15 fatcat:tdnlcms72rbznjvwphoztdx37y

Use Case Analysis And Application Scenarios Description

SUNLIGHT
2016 Zenodo  
This deliverable documents the overall context of the standards and tools that can be used to model the operations and procedures at the selected shop floors and includes a high level analysis of the procedures  ...  range of actions involving a multitude of workers with different roles and responsibilities.  ...  The addition of conditions together with other enhancements to Petri Nets is called Workflow-net (WF-net).  ... 
doi:10.5281/zenodo.1077775 fatcat:dygrgrezwfdqnk7kuxvgzywfby

Integrating Process-Oriented and Event-Based Syste (Dagstuhl Seminar 16341)

David Eyers, Avigdor Gal, Hans-Arno Jacobsen, Matthias Weidlich, Marc Herbstritt
2017 Dagstuhl Reports  
This report summarises the outcomes of the seminar by reviewing the state-of-the-art and outlining research challenges on the intersection of process-oriented and event-based systems.  ...  This report documents the programme and the outcomes of Dagstuhl Seminar 16341 on "Integrating Process-Oriented and Event-Based Systems", which took place August 21-26, 2016, at Schloss Dagstuhl -Leibniz  ...  It particularly highlighted the need for identifying event patterns that are not known a priori as no historic event logs exist and dedicated observation of accidents is not a viable option.  ... 
doi:10.4230/dagrep.6.8.21 dblp:journals/dagstuhl-reports/EyersGJW16 fatcat:axbbv7hntfewvbbahau7d364nm

Supporting evidence-based analysis for modified risk tobacco products through a toxicology data-sharing infrastructure

Stéphanie Boué, Thomas Exner, Samik Ghosh, Vincenzo Belcastro, Joh Dokler, David Page, Akash Boda, Filipe Bonjour, Barry Hardy, Patrick Vanscheeuwijck, Julia Hoeng, Manuel Peitsch
2017 F1000Research  
Building on the experience gained from the OpenTox project, a proof-of-concept database and website ( ) has been developed to INTERVALS share results from both inhalation studies and studies conducted  ...  Curated data and methods descriptions have been prepared in ISA-Tab format and stored in a database accessible via a search portal on the INTERVALS website.  ...  Page 10: "Therefore, herein, we propose a new ISA-Tab scheme that follows the data-production workflow and combines data production and documentation into a single step by the researcher, who is the expert  ... 
doi:10.12688/f1000research.10493.1 pmid:29123642 pmcid:PMC5657032 fatcat:w2snic5s35am3gbnbjexhcgti4

Use Case Analysis And Application Scenarios Description

SUNLIGHT
2016 Zenodo  
This deliverable documents the overall context of the standards and tools that can be used to model the operations and procedures at the selected shop floors and includes a high level analysis of the procedures  ...  range of actions involving a multitude of workers with different roles and responsibilities.  ...  The addition of conditions together with other enhancements to Petri Nets is called Workflow-net (WF-net).  ... 
doi:10.5281/zenodo.1004819 fatcat:ceuatzuwffeejorx336vq5jpm4
« Previous Showing results 1 — 15 out of 564 results