Topic
Process architecture
About: Process architecture is a research topic. Over the lifetime, 4876 publications have been published within this topic receiving 104171 citations.
Papers published on a yearly basis
Papers
More filters
TL;DR: In this paper, the authors use Petri net based tools and techniques to find conflicting and redundant precedences, upper and lower bounds for the makespan, etc., in the 10×10 problem.
Abstract: Timed Petri nets can be used to model and analyse scheduling problems. To support the modelling of scheduling problems, we provide a method to map tasks, resources and constraints onto a timed Petri net. By mapping scheduling problems onto Petri nets, we are able to use standard Petri net theory. In this paper we will show that we can use Petri net based tools and techniques to find conflicting and redundant precedences, upper- and lower-bounds for the makespan, etc. This is illustrated by a Petri net based analysis of the notorious 10×10 problem due to Fisher & Thompson (1963)
70 citations
22 Oct 1995
TL;DR: In this work the way to model and analyze concurrent systems is using a subclass of Petri nets that is an extension of a previous class studied for the same kind of problems.
Abstract: The design of concurrent systems has to deal with the satisfaction of conditions of good behavior. In this work the way to model and analyze concurrent systems is using a subclass of Petri nets that is an extension of a previous class studied for the same kind of problems. Starting from a Petri net that models a system a policy is proposed to eliminate deadlocked states.
69 citations
TL;DR: This work proposes a new semantics for time Petri nets that, does not store the firing order into the timing constraints, and allows the notion of independence from untimed Petrinets to be lifted, and it is shown that the semantics is finite and that it preserves reachable markings.
69 citations
TL;DR: This paper addresses the key issue of providingflexible multimedia presentation with user participation and suggests synchronization models that can specify the user participation during the presentation and suggests adynamic timed Petri nets structure that can model pre-emptions and modifications to the temporal characteristics of the net.
Abstract: This paper addresses the key issue of providingflexible multimedia presentation with user participation and suggests synchronization models that can specify the user participation during the presentation. We study models like the Petrinet-based hypertext model and the object composition Petri nets (OCPN). We suggest adynamic timed Petri nets structure that can model pre-emptions and modifications to the temporal characteristics of the net. This structure can be adopted by the OCPN to facilitate modeling of multimedia synchronization characteristics with dynamic user participation. We show that the suggested enhancements for the dynamic timed Petri nets satisfy all the properties of the Petri net theory. We use the suggested enhancements to model typical scenarios in a multimedia presentation with user inputs.
69 citations