A Petri net, also called a place-transition net, is a mathematical representation of concurrent systems--systems in which an activity of one component of the system can occur simultaneously with other component activities. Modeling of a system based on...

A Petri net (also known as a place/transition net or P/T net) is one of several mathematical representations of discrete distributed systems. As a modeling language, it graphically depicts the structure of a distributed system as a directed bipartite...

ABSTRACT Traditional workflow models have obvious shortcomings in describing complex workflows. Such complexity is due not only to the hierarchical property of business process, but also to the complicated dependencies among tasks. In this paper, we first introduce a conceptual task model...

In this article we present an algorithm to transform a set(s) of Boolean equations into a Petri net(s). Boolean logic provides a mathematical basis for switching control and many other areas. In the case of programmable logic controllers used for the sequential control in...