Abstract
To describe the dynamic semantics for the network computing, the concept on process is presented based on the semantic model with variable, resource and relation. Accordingly, the formal definition of process and the mapping rules from the specification of Petri nets extension to process are discussed in detail respectively. Based on the collective concepts of process, the specification of dynamic semantics also is constructed as a net system. Finally, to illustrate process intuitively, an example is specified completely.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Zhou Guofu.A Method of Software Architecture Based on UniNet [D]. Beijing: Beijing University, 2003 (Ch).
James L P.Petri Net Theory and the Modeling of System [M]. New York: Prentice-Hall, 1981.
Yuan C.Petri Nets Theory [M]. Beijing: Publishing House of Electronics Industry, 1998 (Ch).
Pelz E.Place/Transition-Systems: Concurrent Behaviour and Logic [R/OL] // [2004-12-10].http://www.informatik. uni-hamburg.de/TGI/pnbib/p/pelz_e6.html
Chandy M K, Misra J.Parallel Program Design: A Foundation [M]. Boston: Addison-Wesley, 1989.
Jensen K. Coloured Petri Nets: A High Level Language for System Design and Analysis [J].Lecture Notes on Computer Science, 1989,483:342–416.
Christensen S, Hansen N D. Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs [M].Lecture Notes in Computer Science, 1993,691:186–205.
Lakos C. From Coloured Petri Nets to Object Petri Nets [J].Lecture Notes on Computer Science, 1995,935:278–297.
Dijkstra E W.A Discipline of Programming [M]. New York: Prentice-Hall, 1976.
Bakker J, Vink E.Control Flow Semantics [M]. Cambridge MA: the MIT Press, 1996.
Yuan C, Qu W. UNITY and Its Missing Structure [C] //Proceedings of the 3 nd Workshop on Advanced Parallel Processing Technologies. Beijing: Publishing House of Electronics Industry, 1999:172–176.
Author information
Authors and Affiliations
Corresponding author
Additional information
Foundation item: Supported by Technology Innovation Fundation of Wuhan University
Biography: ZHOU Guofu (1970-), male, Post Doctor, research direction: parallel computing, program semanties and Petri nets.
Rights and permissions
About this article
Cite this article
Guofu, Z., Yanxiang, H. Process of petri nets extension. Wuhan Univ. J. Nat. Sci. 11, 351–354 (2006). https://doi.org/10.1007/BF02832120
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02832120