Hierarchies in coloured petri nets

Identification of detailed behaviour of Flexible Manufacturing Cell using Hierarchical Timed Coloured Petri Nets

“…The design of hierarchical models with detailed behaviour with various levels is quite fashion in manufacturing system. Hierarchical Coloured Petri Net (HCPN) application in single model design with relation of sub-nets was first introduced by Huber [1]. Dynamic behaviour of automated manufacturing systems using coloured, timed, object oriented PNs was described by Wang [2].…”

CoBTx-Net: A model for business collaboration reliability verification

“…In this paper we propose a Choreographical Business Transaction Net (CoBTx-Net) for modeling (1) There exists and only exists one Guarantee that the flow-typed initial status and one final Petri Net model terminates in status in Petri Net model the right place without any (2) The token deposited in the only disturbance by faults or initial status will be the only token exceptions from the appeared in the final status beginning to the ending of the Petri Net model (3) Dead transition which can not output the token after inputting does not exist business collaboration, which is based upon Hierarchical Colored Petri Net (Huber et al 1990;Stork and van Glabbeek 2002). Three properties for the purpose of reliability verification are defined: Timeembedded dead marking freeness, Inter-organizational dead marking freeness, and Collaborative soundness.…”

Petri net-based workflow modeling for a die and mould manufacturing resource planning system

“…A complex problem can be divided into a number of small and easy problems with this method. It was first introduced into a Petri net by P. Huber [15] in 1990. Lacking the object-oriented definition and analysis method, it is still an abstract object and cannot be put into practice at present.…”

“…Lacking the object-oriented definition and analysis method, it is still an abstract object and cannot be put into practice at present. Based on the hierarchy idea [15], we present a specific definition, an agent-based hierarchy structure, and some analysis methods in this paper. An extended Petri net-based substantial modeling and analysis method, named hierarchy Petri nets (HCTPN), is established for modeling the workflow process in die and mould MRP II system.…”