Petri net

About: Petri net is a research topic. Over the lifetime, 25039 publications have been published within this topic receiving 406994 citations.

Applications and Theory of Petri Nets 2004

Abstract: Several notions of non-interference have been proposed in the literature to study the problem of confidentiality in concurrent systems. The common feature of these non-interference properties is that they are all defined as extensional properties based on some notion of behavioural equivalence on systems. Here we also address the problem of defining non-interference by looking at the structure of the net systems under investigation. We define structural non-interference properties based on the absence of particular places in the net. We characterize a structural property, called PBNI+, that is equivalent to the well-known behavioural property SBNDC. We start providing a characterization of PBNI+on contact-free Elementary Net Systems, then we extend the definition to cope with the richer class of Trace nets.

Developing a supply chain disruption analysis model: Application of colored Petri-nets

Abstract: As a result of globalization in the past two decades, supply chains are encountering more unknown conditions and risks. One important category of risks is disruptions that block material flowing through a supply chain and that may even result in end-product manufacturing failure. This paper uses a Petri nets-based model as a tool to understand the dissemination of disruptions and to trace the operational performance of a supply chain. The presented approach models how changes propagate through a supply chain and calculates the impact of disruptions on supply chain attributes by concluding the states that are obtainable from a given initial status in the supply chain.