Hee91.van Hee, K.M. and Verkoulen, P.A.C. Integration of a data model and high-level Petri nets. In Proc. Intl. Conf. Applications and Theory of Petri nets, 1991, pp. 410---431.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of such practical applications are cases in the context of the TASTE project [Van der Aalst, Voorhoeve Waltmans, 1989] a study at Schiphol Airport and a project with Dutch Railways. In this paper, we build upon the ExSpect approach. More details about ExSpect can be found among others in [Van Hee Verkoulen, 1991; Van Hee, Rambags Verkoulen, 1993; Houben Verkoulen, 1991; Verkoulen, 1993] 2 Outline of the SimCon Approach In this paper, we introduce the SimCon approach, which we claim to be a framework that meets the aforementioned demands. In our approach, data and process modelling have been ....

Hee, K.M. van, and P.A.C. Verkoulen [1991], Integration of a Data Model and High-Level Petri Nets, Proceedings of the 12th International Conference on Application and Theory of Petri Nets, Gjern, Denmark, 410--431.

....may have attributes, which are not easily represented by a simple Petri net token. Other authors have proposed a Petri net model with explicit quantitative time (e.g. 1, 3, 6, 10, 16] We call these models timed Petri net models. Other extensions are the introduction of token identifications ([7]) tokens having a life cycle, priorities, fuzzy Petri nets ( 4] etc. Practical experiences show that at least some of these extensions are necessary to make the Petri net model suitable for the modelling of large and complex systems. In this paper we introduce the multi dimensional Petri net ....

....change in time, the object as it is does not change. These token identities can also be used to relate objects, e.g. in the example just given we can add token identities and use them to specify that transition finish only consumes tasks and resources that are related. In Van Hee and Verkoulen [7] it is shown how to calculate unique token identifiers. In fuzzy Petri nets (Chen, Ke and Chang [4] tokens have a truth value and transitions have a certainty factor . The truth value of a token may be any real number between between 0 (false) and 1 (true) This can be modelled by adding a ....

K.M. van Hee and P.A.C. Verkoulen, Integration of a Data Model and High-Level Petri Nets, in Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, Gjern, June 1991, pp. 410--431.

....extremely large. Sometimes it is even impossible to model the behaviour of the system accurately. To solve these problems many authors propose extensions of the basic Petri net model. Several authors have extended the basic Petri net model with coloured or typed tokens ( 10] 15] 16] 12] [13]) In these models tokens have a value, often referred to as colour . There are several reasons for such an extension. One of these reasons is the fact that (uncoloured) Petri nets tend to become too large to handle. Another reason is the fact that tokens often represent objects or resources in ....

K.M. van Hee and P.A.C. Verkoulen, Integration of a Data Model and High-Level Petri Nets, in Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, Gjern, June 1991, pp. 410--431.

....a schema conform IFO ( AH87] or PSM ( HW93] HPW92] The other part is the information base, or population, conform the conceptual schema. Besides the above two traditional parts, an application model may also contain descriptions of activities and behaviour (see for instance [HSV89] HV91] WHO92] The intention of an evolving information system is, to be able to change all parts of the application model, and not just the information base as is the case in most traditional information systems. In [OHFB92] the evolvability of the composing parts of an information system is taken ....

K.M. van Hee and P.A.C. Verkoulen. Integration of a data model and high-level petri nets. In Proceedings of the Twelfth International Conference on Applications and Theory of Petri Nets, pages 410--431, Gjern, Denmark, 1991.

....concepts defined in the previous section onto the high level Petri net model used by ExSpect. An informal introduction to this high level Petri net model is given in appendix A. For a more formal introduction to this net model the reader is referred to Van der Aalst [2, 3] and Van Hee et al. [13, 14, 15]. Tasks, procedures and resource managers will be modelled by (Petri net) systems. A system is a subnet which may communicate via connectors, see appendix A. Control activities will be modelled by transitions. Jobs are represented by (job) tokens. A task corresponds to a system composed of five ....

K.M. VAN HEE AND P.A.C. VERKOULEN, Integration of a Data Model and HighLevel Petri Nets, in Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, Gjern, June 1991, pp. 410--431.

No context found.

Hee91.van Hee, K.M. and Verkoulen, P.A.C. Integration of a data model and high-level Petri nets. In Proc. Intl. Conf. Applications and Theory of Petri nets, 1991, pp. 410---431.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC