Logic Petri nets and equivalency

Information Technology Journal

Volumn 8, Issue 1, 2009, Pages 95-100

  Du, Y Y ^a,b   Guo, B Q ^a  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b INSTITUTE OF SOFTWARE   (China)

Author keywords

Constructing algorithm; Equivalency; Logic expression; Logic petri net; Petri nets with inhibitor arcs

Indexed keywords

MARINE BIOLOGY; PETRI NETS;

BATCH PROCESSING; CONSTRUCTING ALGORITHM; COOPERATIVE SYSTEMS; DISJUNCTIVE NORMAL FORMS; EQUIVALENCY; INPUT/OUTPUT; LOGIC EXPRESSION; LOGIC PETRI NET; MODELING POWERS;

GRAPH THEORY;

EID: 58149229569     PISSN: 18125638     EISSN: 18125646     Source Type: Journal    
DOI: 10.3923/itj.2009.95.100     Document Type: Article

References (11)

1. Atluri, V. and H.K. Huang, 2000. A petri net based safety analysis of workflow authorization models. J. Comput. Security, 8: 209-240.
2. Derks, W., J. Dehnert, P. Grefen and W. Jonker, 2001. Customized atomicity specification for transactional workflows. Proceedings 3rd International Symposium on Cooperative Database Systems for Advanced Applications, April 23-24, Beijing, China, pp: 155-164.
3. Du, Y.Y. and C.J. Jiang, 2002. Formal representation and analysis of batch stock trading systems by logical petri net workflows. Lect. Notes Comput. Sci., 2495: 221-225.
4. Du, Y. Y. and C.J. Jiang, 2003. Towards a workflow model of real-time cooperative systems. Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, LNCS, 2885, November 5-7, Spring er-Verlag, Berlin, pp: 452-470.
5. Du, Y. Y., C.J. Jiang and M.C. Zhou, 2007. Modeling and analysis of real-time cooperative systems using Petri nets. IEEE Trans. Syst., Man Cybernetics-Part A: Syst. Hum., 37:643-654.
6. Hao, K. and B. Wang, 2003. Non-determined Petri nets. Mini-Micro Syst., 24: 582-584 (In Chinese).
7. Murata, T., 1989. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77: 541-580.
8. Suzuki, I. and H. Lu, 1989. Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter. IEEE Trans. Comput, 38: 696-704.
9. Van der Aalst, W.M.P., 1998. The application of Petri nets to workflow management. J. Circuit Syst. Comput., 8: 21-66.
10. Van der Aalst, W.M.P., 2000. Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries. Inform. Manage, 37: 67-75.
11. Wang, J.C., Y. Deng and G. Xu, 2000. Reachability analysis of real-time systems using time Petri nets. IEEE Trans. Syst. Man Cybernet B Cybernet, 30: 725-736.