Behavior relativity of petri nets

Journal of Computer Science and Technology

Volumn 17, Issue 6, 2002, Pages 770-780

  Jiang, Changjun ^a,b,c   Wang, Huaiqing ^d   Liao, Shaoyi ^d  

^a TONGJI UNIVERSITY   (China)

^b NINGBO UNIVERSITY   (China)

^c Univ of Shandong Sci and Technol   (China)

^d CITY UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Behaviour relativity; Firing sequence; Petri net; Synchronous composition; System analysis

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; BOUNDARY CONDITIONS; COMPUTER SIMULATION; MATHEMATICAL MODELS; MATRIX ALGEBRA; PETRI NETS; THEOREM PROVING; VECTORS;

CONCURRENT SYSTEMS; CONTROLLED RELATIVITY; EXCLUSIVE RELATIVITY; FIRING SEQUENCE; INTERACTIVE RELATIVITY; SYNCHRONOUS COMPOSITION; UNITED RELATIVITY;

SYSTEMS ANALYSIS;

EID: 0036865921     PISSN: 10009000     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02960767     Document Type: Article

References (26)

1. Battiston E, Cindio F D, Mauri G. Modular algebraic nets to specify concurrent systems. IEEE Trans. Software Eng., 1996, 22(10): 689-705.
2. Shatz S M, Mai K, Black C, Tu S. Design and implementation of a Petri net-based toolkit for Ada tasking analysis. IEEE Trans. Parallel and Distributed Systems, 1990, 1(4): 424-441.
3. Shatz S M, Tu S, Murata T. An application of Petri net reduction for Ada tasking deadlock analysis. IEEE Trans. Parallel and Distributed Systems, 1996, 7(12): 1307-1322.
4. Shatz S M, Cheng W K. A Petri net framework for automated static analysis of Ada tasking behavior. J. Systems and Software, 1988, 8: 343-359.
5. Avrunin G, Wileden J. Describing and analyzing distributed software system designs. ACM Trans. Programming Languages and Systems, 1985, 7(3): 380-403.
6. Willson R G, Krogh B H. Petri net tools for the specification and analysis of discrete controllers. IEEE Trans. Software Eng., 1990, 16(1): 39-50.
7. Avrunin G, Buy U, Corbett J, Dillon L, Wileden J. Automated analysis of concurrent systems with the constrained expression toolset. IEEE Trans. Software Eng., 1991, 17(11): 1204-1222.
8. Chen Y, Tsai W T, Chao D. Dependency analysis - A Petri net based technique for synthesizing large concurrent systems. IEEE Trans. Parallel and Distributed Systems, 1993, 4(4): 414-426.
9. Datta A, Ghosh S. Synthesis of a class of deadlock-free Petri net. J. of ACM, 1984, 31(3): 486-506.
10. Morgan E T, Razouk R R. Interactive state-space analysis of concurrent systems. IEEE Trans. Software Eng., 1987, 13(10): 1080-1091.
11. Dwyer M B, Clarke L A. A compact Petri net representation and its implications for analysis. IEEE Trans. Software Eng., 1996, 22(11): 794-811.
12. Notomi M, Murata T. Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis. IEEE Trans. Software Eng., 1994, 20(5): 325-336.
13. Bucci C, Vicario E. Compositional validation of time-critical systems using communicating time Petri nets. IEEE Trans. Software Eng., 1995, 21(12): 969-992.
14. Murata T. Petri nets: Properties, analysis and applications. In Proc. IEEE, 1989, 77: 541-580.
15. Murata T, Shenker B, Shatz S M. Detection of Ada static deadlocks using Petri net invariants. IEEE Trans. Software Eng., 1991, 15(3): 314-326.
16. Jiang C J, Wu Z H. Net operations. J. of Comp. Sci. & Tech., 1992, 7(4): 333-344.
17. Jiang C J. Nets operations (II). J. of Comp. Sci. & Tech.; 1995, 10(6): 509-517.
18. Suzuki I, Lu H. Temporal Petri nets and their application to modelling and analysis of a handshake daisy chain arbiter. IEEE Trans. Comput., 1989, 38(5): 696-704.
19. Suzuki I. Formal analysis of the alternating bit protocol by temporal Petri nets. IEEE Trans. Software Eng., 1990, 16(11): 1273-1281.
20. Valmari A. Compositional state space generation. Lect. Notes in Comp. Sci. 674, Springer-Verlag, 1993, pp.427-457.
21. Jiang J et al. Real-time synchronisation of multiaxis high-speed machines, from SFC specification to Petri net verification. In IEE Proc. on Syst. Eng. for Auto., 1976, 143(2): 164-170.
22. Souissi Y. On liveness preservation by compositional of nets via a set of places. Lect. Notes in Comp. Sci. 524, Springer-Verlag, 1991, pp.277-295.
23. Sisto R, Valenzano A. Mapping Petri nets with inhibitor Arcs onto basic LOTOS behavior expressions. IEEE Trans. Comput., 1995, 44(12): 1361-1370.
24. Jiang C J, Lu W M. On properties of concurrent system based on Petri net language. to appear in J. of Software.
25. Reising W. Introduction of Petri Net. Springer-Verlag, 1982.
26. Murata T, Wu Z. Fair relation and modified synchronic distances in a Petri net. J. of the Franklin Inst., 1985, 320(2): 63-82.