In this paper, we extend the supervisory control theory and a supervisor synthesis problem to a class of colored Petri nets. More speciically, we investigate the forbidden state control problem with full observation in which the discrete-event system is modeled as a colored Petri net with a symmetry speciication. This problem is decidable if the colored Petri net has nite color sets and bounded...

The de®nition and maintenance of work¯ow processes have become important tasks for enterprises as work¯ow management systems (WFMS) are systematically applied to critical business processes. In order to simplify the management and usage of work¯ow processes and to integrate with other applications, a good modeling method is essential. The WFCP-net (work¯ow-net based on colored Petri net) is an ...

E-contracting, i.e., establishing and enacting electronic contracts, has become important because of technological advances (e.g., the availability of web services) and more open markets. However, the establishment of an e-contract is complicated and error prone. There are multiple negotiation styles ranging from auctions to bilateral bargaining. This paper provides an approach for modeling mul...

This paper introduces a new method of empowering Logical Petri Nets (LPN) and Fuzzy Logical Petri Nets (FLPN) [1] using multiple logic. In this paper we proposed a Multi-Logical Petri Nets (MLPN) and Multi-Logical Fuzzy Petri Nets (MLFPN) based on Logical Petri Nets (LPN) and Fuzzy Logical Petri Nets (FLPN). Here we have showed that, how multiple logic is implemented in MLPN and MLFPN. The prop...