A methodology of testing high-level Petri nets

17
A methodology of testing high-level Petri nets Hong Zhu a, * , Xudong He b a School of Computing and Mathematical Sciences, Oxford Brookes University, Wheatley Campus, Oxford OX3 0BP, UK b School of Computer Science, Florida International University, University Park, Miami, FL 33199, USA Received 25 May 2000; revised 17 March 2002; accepted 22 March 2002 Abstract Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri®cation and validation of Petri nets are of particular importance in the development of concurrent and distributed systems. As a complement to formal analysis techniques, testing has been proven to be effective in detecting system errors and is easy to apply. An open problem is how to test Petri nets systematically, effectively and ef®ciently. An approach to solve this problem is to develop test criteria so that test adequacy can be measured objectively and test cases can be generated ef®ciently, even automatically. In this paper, we present a methodology of testing high-level Petri nets based on our general theory of testing concurrent software systems. Four types of testing strategies are investigated, which include state- oriented testing, transition-oriented testing, ¯ow-oriented testing and speci®cation-oriented testing. For each strategy, a set of schemes to observe and record testing results and a set of coverage criteria to measure test adequacy are de®ned. The subsumption relationships and extraction relationships among the proposed testing methods are systematically investigated and formally proved. q 2002 Published by Elsevier Science B.V. Keywords: Software testing methods; Concurrent systems; High-level Petri nets; Test criteria; Behaviour observation 1. Introduction Since 1970s, Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. Although there are several formal analysis techni- ques of Petri nets such as coverability tree or graph) tech- nique and invariant techniques, formal veri®cation and validation are not always applicable or effective, and are often very dif®cult to use. On the other hand, testing has been proven to be effective in detecting system errors and is easy to apply. We believe that a testing technique for Petri nets can be a cost-effective approach complementing other more formal analysis techniques in revealing errors in Petri nets. An open problem is how to test Petri nets systemati- cally and effectively. An approach to solve this problem is to develop test criteria so that test adequacy can be measured objectively, test cases can be generated ef®ciently even automatically, and testing processes can be controlled effec- tively. It is the theme of this paper. Generally speaking, testing methods can be classi®ed into program-based, which select test cases according to the information contained in the program, and speci®cation- based, which derive test cases from the requirements speci- ®cation. Petri nets can play two different roles in the devel- opment of concurrent systems. A Petri net can be used as a formal speci®cation of a concurrent system. Testing a concurrent system against a Petri net belongs to the catalo- gue of speci®cation-based methods. In the past few decades, a great amount of research has been reported in the literature on speci®cation-based testing methods. There are works on derivation of test cases from algebraic speci®cations [1±6], Z speci®cations [7±9], ®nite state machines cf. Ref. [12], and other speci®cation languages such as Estelle, LOTOS, and SDL in conformance testing of communication proto- cols [16]. On the other hand, a Petri net can be considered as an executable model of a concurrent system. It can also be tested against another speci®cation. In this sense, a Petri net testing method also has the features of program-based test- ing. There are extensive literatures on program-based test- ing. Existing program-based testing methods include structural testing methods such as control ¯ow testing and data ¯ow testing, fault-based testing methods such as muta- tion testing, and error-based testing. Readers are referred to Ref. [10] for a survey of researches on software testing methods. However, there are very few works on testing concurrent systems, especially testing Petri nets. In Ref. [11], a Information and Software Technology 44 2002) 473±489 0950-5849/02/$ - see front matter q 2002 Published by Elsevier Science B.V. PII: S0950-584902)00048-4 www.elsevier.com/locate/infsof * Corresponding author. Tel.: 144-1865-484580; fax: 144-1865- 484545. E-mail addresses: [email protected] H. Zhu), hex@cs.®u.edu X. He).

Transcript of A methodology of testing high-level Petri nets

Page 1: A methodology of testing high-level Petri nets

� ��������� �� ���� � � ������� ���� ����

��� ������� ����� ���

������� �� ����� � � � ������������ ���� ���� ������ ������� � ��������� �������� ����� ������ ��� �!� �"������� �� ������ ���� ��� #������ $ ��� ���� �� � ��������� � �������� !���� ������ #% ��&''� ��(

���� ��� �� �� � ! ��� ��� "# ����� � �! ����$��� �� ����� � �

��������

���� ���� ���� ���� �%���� ��� ���� � ��� ������ � ��� ����� � �� ���������� ��� � ��� ����� ������& '�� ��� (��� �� ��� ��� ��� ��

�� ���� ���� ��� �� $��� ����� �$������� � ��� ������$���� �� ���������� ��� � ��� ����� ������& �� � ���$������ �� ������ ����� �

����� )���� ���� � ��� ���� $����� �� �� ������ �� � ������ � ����� ������ ��� � ��� �� �$$�& �� �$�� $������ � ��* �� ���� ���� ����

������� ����� ������ ��� ��� ��(� ����& �� �$$����� �� ����� �� � $������ � �� ������$ ���� �� ��� � �� ���� ���� ���)��� ��� �� ��������

��+��� ��� ��� ���� ����� ��� �� �������� ��(� ����� ���� ������� ����& ,� �� � $�$��� *� $������ � ��������� �� ���� � � ������� ����

���� ����� �� ��� ������ ����� �� ���� � ���������� ����*��� ������& -��� �$�� �� ���� � ������ �� ��� ����� ����� *� �� ������ ������

�� ����� ���� �� ����� � ����� ����� ���� �� .�*��� ����� ���� � ��� �$�� (��� ����� ����� ���� �& -�� ���� ������� � ��� �� ������� ��

������� ��� ������ ���� � ������� ��� � ��� �� ������� �� ��� � �� ������� ���� ���)��� ��� ��(���& '�� ������$� �� ����� ���� $� ���

�%����� �� ����� ���� $� ���� ��� $��$���� ���� � ������� ��� ������� ���� ����� ���� ��� ������� $�����& � � � ���� ���� �

/���� �� 0� ���� 1&2&

"��)����3 0���*��� ���� � �������! 4��������� ������! � ������� ���� ����! '��� �� ��� �! 1���� ��� �������� ��

� ���� ������

0 ��� "5# �� ���� ���� ���� ���� �%���� ��� ���� � ���

������ � ��� ����� � �� ���������� ��� � ��� �����

������& ������� ����� ��� ������� ������ ����� � ����� �

)��� �� ���� ���� ���� �� ������� � � ���� 6�� ��$�7 �����

� )�� ��� ���� ��� ����� )���� ������ ��� (��� �� ���

��� ��� �� ��� ��� ��*�� �$$� ����� �� ������ ��� ��� ���

����� ��� � �(���� �� ���& 8� ��� ����� ����� ���� � ���

���� $����� �� �� ������ �� � ������ � ����� ������ ��� �

��� �� �$$�& 9� ��� ��� ���� � ���� � ����� )�� ��� ����

���� ��� �� � ����������� �� �$$����� ���$������ � �����

���� ������ ����� � ����� )��� � ������ � ������ � ����

����& �� �$�� $������ � ��* �� ���� ���� ���� ������� �

���� ��� ������ ���& �� �$$����� �� ����� �� � $������ � ��

������$ ���� �� ��� � �� ���� ���� ���)��� ��� �� ��������

��+��� ���� ���� ����� ��� �� �������� ��(� ���� ����

������� ����� ��� ���� � $�������� ��� �� ���������� ������

� ���& ,� � ��� ����� �� �� � $�$��&

:������� �$��; �� ���� � ������� ��� �� ����� (�� ���

������*+����� *� �� ������ ���� ����� ������ � �� ���

������� �� ����� ��� � ��� $������ ��� ����,����� *

+����� *� �� ��� �� ���� ����� ���� ��� ��)� ������� �$�� �

(��� ��& ���� ���� ��� $�� �*� � ������� ����� � ��� ������

�$���� �� ���������� ������& � ���� ��� ��� �� ���� �� �

������ �$�� (��� �� �� � ���������� �����& '��� � �

���������� ����� �� ��� � ���� ��� ������ �� ��� �������

�� �� �$�� (��� �������� �������& ,� ��� $��� ��* ��������

� ���� ������ �� �������� ��� ���� ��$����� � ��� � ��������

�� �$�� (��� �������� ���� � �������& '���� ��� *��;� ��

��� ��� �� �� ���� ����� ���� ������ � �$�� (��� ��� <"=>?�

- �$�� (��� ��� <#=5?� (� �� ����� ���� ��� ��& ���& <"�?�

��� ����� �$�� (��� �� ������� ���� �� /������� @8'80�

��� 0A@ � ����������� ���� � �� ������ ��� �� $�����

���� <">?& 8� ��� ����� ����� � ���� ��� ��� �� ���� ����� ��

�� �%�������� ����� �� � ���������� �����& ,� ��� ���� ��

������ �� ��� ������� �$�� (��� ��& ,� �� � ������ � ���� ���

���� � ������ ���� ��� ��� �������� �� $����������� �����

�& '���� ��� �%���� �� � ��������� �� $����������� �����

�& /% �� � $����������� ���� � ������� ������

���������� ���� � ������� ���� �� ������� .�* ���� � ���

���� .�* ���� �� ����������� ���� � ������� ���� �� �����

� �� ���� �� ��� ����������� ���� �& ������� ��� �������� ��

���& <" ? ��� � ����� �� ���������� �� ����*��� ���� �

�������&

��*����� ����� ��� ��� ��* *��;� �� ���� � ����������

������� ��$�� ��� ���� � ���� ����& ,� ���& <""?� �

,������� �� ��� 0���*��� '������� BB 6� �7 B#C=BD5

5� ��DB5E �EF � ��� ����� ������ � � � ���� ���� � /���� �� 0� ���� 1&2&

�,,3 0 5� ��DB56 �7 BD�B

***&����� ��&���E������E �����

� 4�����$��� � ������& '��&3 �BB�"D>��BDB�D ! ��%3 �BB�"D>��

BDB�B�&

.*���� ���������/ �G��H����;��&��&�; 6�& ���7� ��%H��&(�&���

6�& ��7&

Page 2: A methodology of testing high-level Petri nets

� ������ �� ���� �� ��� � �� ���������� ���� � �� ����������

$������ *�� $��$����& '�� �� ��� � *��� ��(��� �� ���

��� � �� ���������� ��$��& � ���������� ��$� � � � ����

��� ��$� *���� ����� ��$������ ���������� ������ ���

���� ��$������ ����� ����� � ���& �� ��� ���� ����������

����� ( �� � ��$������� ���� ��� �%���� �� �� ��� $����� ���

$������ � ����� ���� ����� ( �� ����� �& � ���������� �����

� � ������ �� ��� ������� ��� �� ������� ����� � ��� .�*

��$� �� ��� ���������� ���;� �� ��� $�����& '�� ��������

�� ��� �� � ��� � ������ � ��� ���*�� ���� ��*��� �� ����

��� *� �� ��)� ��� ���� �� ���)���� ���� �� � ����������

$����� ������ ����� ��� $���� � ��� ���������� ��$�&

,� �������� ��� ���*����*��*��������� �� ��� ��� *� ��

��)� ��� ���� �� ���)���� ���� ������ ����� ��� ���������

$���� 6 &�& ��� $���� �� *� �� �� ���� ������ ���� ����

����7 � ��� ���������� ��$�& '�� ���*�����*+��)�� *��*

������ �� ��� �� � ���� ��� �� ���� ��� ����$��$������� ���� ��

�� ��� ��& ,� ��)� ��� �� ���)���� ���� ������ ����� ��� ����

� ��� ���������� ��$�& �� ���� ���� ��� �� ���� �� ��� �� �

��� ���*��*������ �� ��� ��� *� �� ��)� ��� ���� �� ���)����

���� ������ ����� ��� ������ � ��� ���������� ��$�& '����

�� ��� � �������� ��� $��� �������� ��������� $��� ������

��� ������ � ������� ��� ��������� ������� �� ��� � ��

������� .�* ���� � �� ��)���� �� $������& �� ��� � ����

�� ��� ��� ������ ��� ���*����+��*�� ��0��� �� ��� ��� �$�� �

(� �� ��� $������ *�� ���� $��$����� *� �� ��)� ��� ����

�� ���)���� ���� ������ ����� ����� $��� ����� ����� � ���

���������� ��$� *� �� ������ � �����G����& '� � �� ����

�� �� ���������� �������� � ��� ������������� �� ��� ��&

0���� �� ����� ���� � ������� ��� ���� �� ����� � ���

�������� �� ���� � (� �� ����� ���� ���& '�� ������$����

�� ���� ���� � ������� ��� � � ��� ���� �� ��� �

$������� �� � � ���� ����� ���� ���� � �� ��)���� ��

� ��� ��� ��� ����� ���������� � ��� ���� �� ���� � ������

� ��� �� $�������� <"�?& ���� �������� ���� ���� � �������

��������� ���� ������ �� �� ����������� �� ��+������ �����

����*��� ���� �� ��& ���& <"C?& '��� � ���� ���� � �������

����� �� (� �� ����� ���� ��� ��� �� ��� ����� �� ���$���

��� �$�� (�� ������ � �� � (� �� ����� ���� ��� <"B?&

�������� ���� ���$��% ������ �� (� �� ����� ���� ���

���� ���� ���� �� ���� �� ������ ��� � (� �� �����

���� ��� <"�?& '*� �$�� �� ���� � $������� ���� ����

���� �� � ��� ����� �� ���� � (� �� ����� ���� ���& '��

(��� � ��� ����� ���� (��� �� ��� ��� (��� �� $�������

*� �� ����� � (� �� ����� ���� �� *���� ����� $� �� �

;��*� �� ��� ������& ,� ������ �� ���� � *� �� ����� � �

� �� �� ��� � � � � � ����� � �����& '�� ������ � ���

����������� ���� � $������� *� �� ����� �� �$��������

� �� �������� � � (� �� ����� ���� ��� *���� ����� $� �� �

��;��*�� �� ��� � �$�� (��� �� *� �� � �������� �

������� (� �� ����� ���� �� *���� ����� $� �� � ;��*�

� ��� ������& ,� ������ �� ��� � ���� ��� �$�������� ��

� �����$� � �� ��� �$�� (��� ��& -�� �%��$��� � ���

����������� ���� � �� ������ ��� �� $��������� � (� ��

����� ���� �� �� �$�������� �� �� � $������� � ����� ������

�� ��� ������� (� �� ����� ���� �� ���� ������ �� ��� �$�� �

(��� �� <">?& � ������ ������� �� ����������� ���� �

������� � ���� ��� ��� ������������ ���� �� ��� ��� �������

�� ������ �� �� � ���� � �$�� (� �$� �� ������� ���� �� ����� �

� �� ������� ��� ��� �� � ����� �����& '��� ���)��� �� ��� �

��� ������ ��� ��(��� 6������ �$� � ��7 �� ���$��������

* �� ���$��� �� ����� � ����� ������& -�� ���� ����� ���� (�

��� �� ��� ��� (��� �� ���� � $������� ��� �����������

���� � $�������� � ������ �����$� �� � ���� ��� ������ ���

��� ������� ��� �$�� ��� ���$�� ��)������ �� ��� (� ��

����� ���� �� ����� ����& '��������� ����� ��� �� ���� �

$������� ������ �� ����� �� � ���� �������� ��� �� *� ��

����� ��� ���� �� � �& ������� ����� ����� �� ��� �������

��� �������� �� ��� ���� � �� ���� ����� ��� ��������� �� �� ��

����;���% ���� � �� ��� ���� � $������� ��� ��� � �$� � �

�� ��� ���$���� �� ����� �� (� �� ����� ���� �� � � ���

��� � �$$� ��� � � �� ����� ���$� ����� $������� � ���� �

���������� ����*��� ������� ���� �� ���� ����& '���� ���

����� ����������� � ��������� ���*��� ��� ������ �� (� ��

����� ���� ��� ��� ���� ����& - ���� ���� ���� ����� ���� �����

��� ����� ����� � ��� �)����� *� �� ���� ��� �� ����� * ��

�%$� � �� � ���� �& 0������ ���� ���� ��(�� ������ � ��� �

������ *� �� (� �� ����� ���� ��� ��(�� ������ ������&

'� ��� ��� ��� � ������ �� (� �� ����� ���� �� ��� ��)���� ��

*� �� ���� ���� ��� ����������& �������� � ������ �����

�������� �� ���� � ������ ��� � (� �� ����� ���� ���

������ �� �$$��� � ��� � �������� <"�?� ��� ���������� ������

�� ���� ������ ��� ��� ���� ���� �%$����� ������� �� ���

����� �%$��� �� $������&

,� ���& <"#?� � ��� �� ������� �� ��� � ��� /� ���� 6� �$�

�� � ������� ���� ����7 *�� $��$���� ��� ��� � ������$�

� �� ����� ��� *��� $�����& '���� �� ��� � ������3 6"7 #��� �

��1� ���3 �� ���)���� ���� � ���� ������ ��� $��� ���

(� � ��)������ ���� ��� ��� � � �� ���; �& � (� �

��)����� � ��(��� � ������� ��� ���� .�*�& '� � �������

�� ��� �%����� �� ���� � ��� � ���� �$���� ���! 6�7 #��� �3

���� $��� ��� (� � �� �� ����� � �� ���� ����� �� ����

(� � ��)����� � ���� �%���� ���! 6C7 2�� ����� ��1� ���3

��� $��� ��� ����� � �� ��)������ ���� �� �������& � ����� �

� �� ��)����� �������� ��� ��� ������� .�*& ,� �� ������

�$��� �� ���� $�� (� � ��)������& '���� � ���� � ���

����� �� ����� � ��� �� ��� (� � ��)������ ������$��� �

�� ��� ���� ����� � �� ��)�����& '�� ���� $�� (� �

��)������ ��� �� � �*�� �� �� �)� ������ ����� �� �

������ ����� � �� ��)�����! 6B7 3*�����3 �� ���)���� �����

� ������ ��� ����� ����� � �� ��)������ ���� ���� ���� ��

���� ����� �� ��� ���� ����� � �� ���� ���� � ���! 6�7 3*

���+��3 �� ���)���� ���� � ������ ��� ����� ����� � ��

��)������ ���� ���� ���� �� ���� ����� �� ��� ���� ����� �

� �� ���� ���� � ��� ��� �� ���� ���� ��� ����� �� �

������� �����)����� �� �������& ����� � �����)����� � ��

� (� � ��)����� � � ������ � ���+�� ,�� � �+��1� �� ��

� � � ��� ��� �� ��� ��� (� � ��)����� � � ����� � � � *�

���� ���� � � ��� ��� ���� ����� �� � ��� � � ��� ��� ����

� � �� ���; � �� � �$� ���� � � � � $������� �� �� � & �������� �����)����� ���� (�� � ����� �� (� � ��)������

���� ��� �� ���� ����� �)� ������ ���� ��� ���� � $� �� ��

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7='B#B

Page 3: A methodology of testing high-level Petri nets

� �*& '���� ��� ��� ��$�������� �� � ������� � ���� �

���� � ��� �� (� � ��)������ ���� ���� ��� � ������ �

����� � �� ��)������ ����� � ��� ���� ������� �����)�����!

��� 6>7 2�� ����� 3 �� ���)���� ���� � ����� �� �����

(� � ��)������ ���� ����� � �� ����� ��� (� � �� ��� ����� �

� ���&

,� ��� ���� � �� ���������� ������� ������ � ���� �

����� ��� � �� $��� ����� �$�������� ��� � ���� ���$� �

����� ���� ���� � ��)���� �� ������& �� $� ���� ��� �

4����� ��� '� <"D?� ��� ���������� � �� � ����� ��� ��

���������� $������ ��;�� ��� ��$�� �� � ���� � $������

��� ������ �� ���� � ������� �& 8����� � ��� ��� $��� ���

���� � ����� ���� �� ���� ����� ��� �������� � ��� �%����

� ��� �� ���������� � �� � $������ �� ����������� ���

$��� ��� ����� ���� ���� ���� � ��+�� �������� ��$ � �

���� � ���������� ������ <"D?& A��$ �� ��� $���� ��� � �(�

���� �� � ������ � ��� �������� � ��� ���� � ����� ����

�� ���������� ������� ����� ��� �������� ��� *��� ���� �

��� ������� ��� ���� �� �� $������ ������� ���� �� � ��(� �

�)� ������� ����� ��� ���*��� 440 $�������� <"5?& '� �

��� *�� ������$�� ��� � ������ �����*��; ��� ��(� �

�� �)� ������� ����� �� ����� �� ���� � <� ? ��� �������

�%������ � ���& <�"?& '���� ������� ��� *��;� ��� ���

��� �%������� ���������� ����� ���� � ��� ���� �� �����

��)������� ��� ���� ������$��� �� ��� $���� ��� ������� ��

����;���% ���� �&

8�� *��; ������ ��� ���� � �*$� �� * �� ��� �����

�������� ���� ��� ������ �� �� � ���������� $������ ���

�� ���� �� � �$� ��(��� ��� ���)����� ������ �� � $��� ��

����� �� ���� �$��� �� ���$��� ������� � � �$$��$� ��� ���

� ��)���� �� $�����& ,������� � ���� �� ��(��� � ����� ��

�� ���� � ����� ��� ��� ������ � ������ � ��� ���� �

����� ���& I������������ �% �� � ����� �� �� ����*��� �����

� ���� ����� ������� �� ���� ���)��� �� ��� � <��=C ?�

��� �������� ��� ��$��� �� ����� ��� �������� �� � �����

*��� ���� �& ��� �$������ ��� ����������� )���� ���

�� �� ���� � �����*����& -�� �%��$��� *��� ������ ��

��������� &�& � *��� ����� �� �������� �� ������ � �$$���

$� ���J 9��� ��� �� ��������� &�& *��� ��� ��� ��� �� �� ��

�������� �� �������J 9��� ��� ��� �$� ��� ��� �� �� �

� ������� �������� �� ������� ��� ��* �� ���$��� ����J

���& ,� ���& <C"?� *� ������$�� � ������ ����� �� ���� �

���������� ������ �� ���*�� ���� )���� ���& 9� �����

���� � *������(��� ���� � ������ ������ ����� � �� �����

�*� ���$������� � ������ �� ������ � � �����K� ���� �

����� ��� ��� � � ���� � $������ ��� � �� ��� �� ��� �������

� ���� ����� ��� ������ � � *��� ���� � ��� ���$& 9�

���� ���$���� $��� ��� ������� ���� �� ������� ��(�� *���

��� �$$��$� ��� ������� �� ����� ��� �������� �� ���

������ �� ��� ��������� ��� ��� �� �� �������� ��

�������& 9� $��$���� ��� ����� ���� ��� ��� ����� $��$�

��� �� ���� � ������ ����� �� ��� ��& 9� ���� ���� (��

���� ������ ��������� ��� �� �������� �� ������� �

�% �� � ����*��� ���� � ������� ��� ���� �� ��� � $��$���

� �� <C�?& '��� �� ��� � *��� ��(��� �� $��� ����� ��

����������� ����� ��� �� �������� ����� ��� ��� � �����

�&

'�� ����� *��; ����� ��� ��� � �� ��� *��; ��$�����

����& ,� �� � $�$��� ��� ������ ����� �� �������� �� ������

<C"? � �$$� �� �� ���� � � ������� ���� ����& -��� ���� �

������ �� ��� ������� ���� ����� ���� * �� ��� ��� ����

���)��� �� ��� � ��� ����� ��� �������� �� �������& '��

������$� �� ��� �%����� �� ����� ���� $� ���� ��� ���

$��$���� ���� � ������� ��� $�����& '�� $�$�� � ���� ���

�� �����*�& 0��� �� � ��� ��� $��� � ��� �� �� $��� ����

����� � �� ����� *� �� � � ; �� �� � ������� ���� ����&

0��� �� C ������$� ��� *��; $��$���� � ���& <"#? ���

����� � ����� ����� ���� � ������& 0��� �� B ��������� ���

������ ��� ��� *��; �� ���& <""? ��� �������� ����� ���� �

������& 0��� �� � ���$�� ��� ������ ��� ���� .�* ���� �

������� ���� ��)���� �� ����*��� ������ <CC=C>? ��� ���� �

���� ����& 0��� �� > � ������� �$�� (��� ����� ����� ���� �&

0��� �� # � ��� ������� �� �� ��� $�$��&

� ������� ��� ����� ���������� ����

'�� � ������� ���� ��� ����� ���� � �� � $�$�� � $��� �

���� ����� � �� ��� 6��' ���� � ��� ��)���7 <C#?& ��*�����

��� ������� $�������� � �� � $�$�� ��� ���� � ����� �$$� ��

���� �� ����� � ������� ���� ��� ������ �� *��� �� ��*������

���� ����& ,� � ��' ���� ��;��� ��� ���� ���������� ��� ���

�� �� � ����� � �� �� ����& @����� ��� �� �%$���� ���

����� � � ��� ������ ��� ������� ��� ��� �� �� ��� �%$����

� ���& '���� ��' ���� ��� $�*����� ����� �� ��(�� ��������

����� ����� ���� �� ��� ���� � ����� ��� �� ������ �

���������� ������& ��� ��� ���� ��� �%���� ��� �� ��'

���� ���� ���� $��$���� � ��� $��� ������& ,� �� � $�$���

��' ���� ��� ��(��� * �� �� ������ � ������ � �$�� (���

� ��� *� �� � ���� ������ ������ � ���� ���� ����*���� <CD?&

95&5 2�� �� ��� � � ������ ���� ����

� ��' ��� ���� ��� �� 6"7 � (� �� ��� ��������� �!�2 �#�� 6�7�� ������ � �$�� (��� �� 0�/4� ��� 6C7 � ��� ���� $� ��

��� %�>�� �� �!�2 �#� � ��� ������ �� ��� ���������� *����

!� 2 � ��� ��� �� ����� ��� �� � ��� ���� � �� !� 2 ��� ! � ������ ��� ��� �� ��������� 6��$� ���� ��$��������

� � �����7 ��� 2 � ������ ��� ��� �� ��� ����� � 6��$��������

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7=' B#�

- & "& � ��' ��� �$�� (��� �� �� � � � $� ����$����K $������&

Page 4: A methodology of testing high-level Petri nets

� ��%��7& # � ��� ��� �� ���� ��� � ������ ��� ?�) ������� �

*� �� ��� �(�� ��� ���� � ��3 # � ! � 2 � 2 � !�

-�� �%��$��� - & " ���*� � ��' ��� �� ��� *����;��*�

$������ �� � � � $� ����$����& '���� ��� ����� $��� ����

�����3 2�� �� �� .��� � ��� ��������& '�;��� �� ��� $��� �

���� ���� 2�� �� � ��$������ ��� $� ����$���� � ��� ����� ��

�� �; �& '�;��� �� ��� $��� ���� ���� �������� ��$������

��� ���$�� �;� ��� ����� ��� ���& /��� ��;�� �� $��� ����

���� .��� � ���� ��� �� ��� $� ����$��� ��� �*� ���$�� �;�

��� ��$������� ��� ����� ���� ��� $� ����$��� � ��� � �� �

��� ���$�� �;�& '���� ��� �*� ����� � �� �����3 !��� ���

!���) & '�� ����� � �� !��� ������ ��� ����� �� � $� ���

��$��� ���� 2�� �� � �� .��� � ��� �� ��� ���� � ��

������ ��� ����� �� �*� ���$�� �;� ���� ��� ����� �� �����

$ ��& '�� ����� � �� !���) ��$������� ���� � $� ����$���

(� ���� ��� � ��� $��� ��*� � $� � �� ���$�� �;�& ,�

������ ��� ����� ���� � $� ����$��� � ��� � �� � � $� �

�� ���$�� �;� �� ��� ����� ���� ��� $� ����$��� � �� �; � ���

���� ��� ���$�� �;� ������ ��� �����& '� � �%��$�� * �� ��

���� ��������� ��� ���� ���� �� ��� $�$�� �� ��������� ���

���� � �������&

'�� ������ � �$�� (��� �� 0�/4 � � ����������� ��

��(�� ��� ��;���� ������� ��� ������� ��� �� � ��' ���& '��

������ � �$�� (��� �� �!.� � ���8��/)� ���� ��� �� �

� ������ � � ���8�� ��� � ��� /) �� � ��)��� ���& 0 ���

���� � � ���8�� ������� � ��� �� ����� � ��� � ��� � 8� ��8��"�@�� ��

� �� ������ �$���� ��� ��� �"�@� � � � � �� -��

���� � � �� *� ��� 48L� �� ������ 8�A�� 6��� ��� �$����

� �� �� ���� �7� &�& ��� ��� �� �������� ������ �� ���� �& '��

� ��)��� ��� � /) ��(�� ��� ���� �� ��� $��$��� �� ��

�$���� ��� � 8�& ,� �� � $�$��� *� ����� � �$� ��� ��� � ��

�$���� ��� ��� ��� � $��$��� �� * ����� �%$� � �� � �� � ���

�������� �)��� ��� � ��� �%��$���&

-�� �%��$��� ��� �$�� (��� �� 0�/4 � ���8��/)������� � ��� � � � $� ����$����K ��' ��� ����� �� ���

�����* � ��������&

"& � ������� ��������� ����� ��,@ �� ��$������ $� �����

$����� 4�8� �� ��$������ ���$�� �;� ��� 1������& ��,@

��� 4�8� ��� ��� ��� ���� ,�����& � ���� �������

���������� ����� ���� �� ��� ��� ��$�� ���� ��� ���� ���

4����� �� $������ �� ��� ��������� �����&

�& 8� ������� �������� �� ����� � ��� ����� ���� �$���� ���

�� ,������ �� ��� ������� ��� �� 1������� ��� �$����

� ���� ��� ������ �� �$���� �� �� ��$���&"

C& /) ������� ;��*� $��$��� �� �� ��� ����� �$�������&

'�� ��� ���� $� �� ���%�>�� � ����� ���� ���� ��$� �������� �� ��� ��� ��������� �!�2 �#� * �� �� ��� � � ���

������ � 0�/4� ��� ���� ��(��� ��� ���� � ������ �� �� �

��' ���&

/��� $��� ���� � � ��' ��� � � ���� ��������� ��� �

���$����� �� ��� ������� ����� �����& '�� ���� �� ����

$��� ���� � � ������ �� � � 0�/4& ,� ��(��� �� ��� �

������� &�& $��$�� ��;���� *� �� ��� ����� ����� �� ���

� ������ � � *� ���� �48L0& '��������� *� ����� ���

���� $��� ���� � ! * �� � ������ �� ����� � �� ��� ��

��� ���� ��� ����� � � ! � ����&�'�� .�*� � � ��' ��� ��� �������� * �� ��� ����� �� ���

��;��� ���� ��� $��� ������& '�� ��� �� ������ � ������� �

@��������� *���� � � � ��� �� ������ ��� ����� � �+� �� * ��

8�& /��� ����� ��� �� �� �%$���� �� �� ��� ���� ��"�" �@� � � �� ��$$ � % � # � @�������� � � ��������$��� ������� � �� ��' ���&

/��� ����� � �� � � ��' ��� � ����� ���� * �� � ������� ��

�� ��(�� �� ����� ���� � ��� $������ �& 4������ ��� �� �

��' ��� ����� �� � ������ �� (��� ����� �� � ��������

*���� )���� (��� ���� ���� (� �� ���� �� ��� ���� ��� �

����� �$$��� � ��� ����� �� ���� ������� � ��� �� ���

����� � ��& '���� ������� ��� ��� ������ ��� $��$�� � ����

�� � �������� ��(��� � ��� ������ � ������ � �$�� (���

� ��& ,� $��� ������ ��� ������ �� (��� ����� �� ��� ��������

����� �� ��� � ������ �� ���� +��� ���� �� ������� ��

'���8���������� ,� ������� � ������� �� ����� �� �*�

$����M��� $������� � �� $��� ����� � ��� ����� ��� �����

� ���� � ���� ��� ��� $�������� � �� $��� �$�� � � ���

����� ���� $� ���*��� ��� ��� ����� �� ��� ���� � ���� ���

����� ��� ����� �� ��� ���� � ����& '�� $������� � ��

�$�� (�� ��� ��)� ��� ��;��� ��� ��� $�������� � �� ��(���

��� ������ �� �������� ��;�� � ����� �� ��� �������� ��;���&

'�������� ��� $������� � �� � ������ ��� ��� ���� �� ���

����� ���� � 6$������ �7 ��(��� � ��� $�������� � ��&

'�� ����� ��� ���� �� ��� ������� �� >��� �� � ����� � �� �

��� �� *� ���� �� ������ � �������� ��$$ � > � 2 �'���8��������� � � *������(��� ������� � � ��$$ �&

� � N� � ! � �48L�O � � ��� �� ��������$��� �

� � �� ���; ��& /��� � � �� ���; � ��� �� � ���� ����

�� ��;��� �� ���� $��� ���� � !& 9� � �* � �� � ��� ��

���; �� ������ �� � � ��� ���; � ��� �*� �������& - ����

*� ���� ��� ���$���� �$�� ���� � �%$� � ��& 0������ *�

��� ��� � � �� �� �� ���� $�� ���; �� ��� ���� ����

��$������&

-�� �%��$��� ��� ��� ���� $� �� ���%�>�� � ��� ���

� � � $� ����$���� $������ ��� � - & " � �� �����*�&

"& 0���� �� $��� �����3

��'� �; �� � ��/�� �� � ����,@����4��$�� �;� � ��4�8���

�& ��� ��(� � ���3

%� �"� � N$�O�

%� ��� � N��"� ���O�

%� �C� � �$�� ��"� �����%� �B� � �$�� ��"� �����%� ��� � N$�O�

%� �>� � N��"� ���O�

C& 4������ ��� �� ����� � ���3

>�� �;�$� � ���" � $�� � ���� � $� � "��>������*�� � �����

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7='B#>

" 9� ��� (B�C �� ������ ��� ��� ���$����� �� ��$�� �& � ���� � ��� $�*�� ��� �� �&

Page 5: A methodology of testing high-level Petri nets

B& '�� � � �� ���; �3

� � N���� � �� C�@O� *���� �� � ��(��� ��

�����*�&

���'� �; �� � N"� ��@� �O�

���/�� �� � N O�

������������ � N"� ��@� �O�

9���� � � ������� � ��� � ��&

9595 D� ���� ���� ���� � � �+�����+�� +�������

����; �� �� � ��' ��� � � ��$$ � ! � �48L� ����

��� ��� �� $��� ����� �� ���� ����� �� ��;���& � ����� � �� �

������� � �� $������ ����� �� ����� ��;��� ��� �� ������� ��

� ��� �(�� * �� �� ���������� ����& '�� (� � �� �� �������

����� � �� �������� ��� ��;��� � ��� $������ ��� $�������

��;��� � ��� $�������& '*� ����� � ��� ����� � ��� ����

����� � ��* �� �*�� ���������������������� ���(�� �������

����� � ��� ��� ��� � ���. ��� *���� �*� ����� � ��� ���

���. �� � ��� (� � �� ��� ����� � �� � ������ �������&

4��. ��� ��� �������� ���������� � �� ����& '�� (� � �� ��

������� ����� � �� � ���� �&9� ��(�� ��� ����� ��� �� � ��'

��� �� �� ��� ��� �� ��� $��� ��� �%���� �� ��)������& /���

�%���� �� ��)����� ��$������� �������� ��� ��������� ���;�

�� ���� ��� � � �� ���; �� � *� �� � ��������� ���; � �

���� ��� ������ (� � �� � ������ �� ������� �������. �� �

����� � ��� ���� ��� $�������������; �& '�� ������ ������

���� � �� � $�$�� � ���� ��� �������� ���������� 6���� ������

���$ ��)����� ����� � ���& <C5?� *� �� � ��$���� �� ��$����

��� ������)���� �� ����� ����& 8���� *����;��*� ������ �

������ �� ���� ���� ������ �������� � ��� $��� �� ����� <C5?&

-�� �%��$��� ��� �$�� (��� �� �� � � � $� ����$����K

$������ � ��' ��� ��� � - & " ����*� ���������� �%����

� ��� ���� �� ���� $�� �������. �� � 6������ ����� �7

$� ����$���� $ �; � �$ ���$�� �;� � ������������ ���

���� $� ����$���� $ �; � �$ ���$�� �;� *� �� ������

$��� � ��*� ���$�� �;�& '�� ������� ��� ����� ���� * ��

����� � ��� � �;�$ ��� �����*� ���� ������ ���� � $� �����

$��� ��� ��� ��� �*� ��� ����� ���$�� �;� ��(��� � ���

�$� � � ��+����� ����� ���� $�& '����� " ��� � �� ���

���� �� �� �*� $��� �� �%���� ��� �� ��� (�� � � � $� �����

$����K ��' ���& '�� $��� �� �%���� �� ��� � '���� " ���

������� (� � ��� ����� � �� � ���� ���$& ,� ��� ��)���� *�

���� ���� �%���� ��� .��& '�� �%���� �� ��� � '���� �

����� �� ���$� ���� �*� ����� � ��� ��� (��� � �����������&

��������� � 6,�������� ����� ������ �� �� ��' ����7& @��

3 �� � ��' ���� ��� � �� ��� ��� �� � � �� ���; �� �� 3�

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7=' B##

'���� "

� .�� �%���� �� �� ��� � � � $� ����$����K ��' ���

���; �� � '���� � ���

'� �; � /�� � 4��$�� �; - ��� '���� � �� 0�� '�;��6�7 ��������

N"���C�B��O N O N"���C�B��O � �;�$ $�� "� ��"� "� ���� �

N��C�B��O N�"�"���O NC�B��O �����*� �$�� ��"� ����� �"�"���N"���C�B��O N O N"���C�B��O � �;�$ $�� �� ��"� �� ���� C

N"�C�B��O N�����C�O N"�B��O � �;�$ $�� B� ��"� B� ���� �

N"�C��O N�����C���B�B���O N"O �����*� �$�� ��"� ����� �����C�N"���C��O N�B�B���O N"���CO �����*� �$�� ��"� ����� �B�B���N"���C�B��O N O N"���C�B��O � �;�$ $�� �� ��"� �� ���� "

N"���C�BO N�����"�O N��C�BO � �;�$ $�� C� ��"� C� ���� B

N"���BO N�����"���C�C�B�O N�O �����*� �$����"� ����� �C�C�B�N"���C�BO N�����"�O N��C�BO �����*� �$�� ��"� ����� �����"�N"���C�B��O N O N"���C�B��O P P

'���� �

� ����.�� �%���� �� �� ��� � � � $� ����$����K ��' ���

���; �� � '���� � ���

'� �; � /�� � 4��$�� �; - ��� ����� � ��� '�;��6�7 ��������

N"���C�B��O N O N"���C�B��O � �;�$ $�� "� ��"� "� ���� �

N��C�B��O N�"�"���O NC�B��O �����*� �$�� ��"� ����� �"�"���N"���C�B��O N O N"���C�B��O � �;�$ $�� �� ��"� �� ���� C

� �;�$ $�� B� ��"� B� ���� �

N"�C��O N�����C���B�B���O N"O �����*� �$�� ��"� ����� �����C������*� �$�� ��"� ����� �B�B���

N"���C�B��O N O N"���C�B��O � �;�$ $�� C� ��"� C� ���� B

N"���B��O N�C�C�B�O N"����O � �;�$ $�� �� ��"� �� ���� "

�����*� �$�� ��"� ����� �C�C�B�N"���C�BO N�����"�O N��C�BO �����*� �$�� ��"� ����� �����"�N"���C�B��O N O N"���C�B��O P P

Page 6: A methodology of testing high-level Petri nets

)���� � ���� ��� ��� �� ���� ����� ��� 3& �� ������� �� 3 ��

� ���� ���� � � � ��)����� �� ��������� ���; �� ����� �

���� � ��� � �;�� � ����� � �� (� ��& 9� ������ ���� ��

�%���� �� �� �����*�3

� � � � �" � " �� � � @ � �� "�� � � @�

*���� �� ������ ����� ��� ������$� ������� �� ����� � ��� ����

��� ��� � ���. �� * �� ���� ������� � � � �� � � �� ���;�

����� � � "� ��@� ������; �� ���� ������ � ���� ��� ����

���" � (� � ����� � ��� � ��� ������ ��"� � � "�@� ��@� � ������ � ��� ��1� ��& �� �%���� �� � ?��� � ��� ������� ��

� � � "�@� ��� � ������ ���� ��� � � "�@� ��@� � ������ ���� ����� ��1� ��& � .�� �%���� �� � ��� �� ���� ��� ���� �

����.�� �%���� �� � � � .����� �� �

6�7 � � � � �" � " �� � � @ � �� "�� � � ���"

@�

6�7 � � � � � � � � �

" � �"� �

� � �� @ �

��� "

� �� � ��� �

��"@� ���

6�7 ����� ��� ������� ������� E � E" � @ � E� � @ ����

���� � �

� E �� �� �

� � � �

���" �

� E�� "

��E� � " �� ����" �

�E��"� � � � "� ��@�

,��������� .����� � �� �%���� �� ��� � .�� �%���� �� �

�� �%����� ��� ���������� (� �� �� ����� � ��� � ���������

�& 8� ������� ����� �� �% �� ��� � ������� ������ ��

�%����� ���������� ����� � �� (� �� � �������� �& '��

����� ���� $ ���*��� ��� �������� � ������ �� 6����� � ��

��)������7 ��� �������� ����� ������ �� 6���$ ��)������7

*�� ���� �� ��� ��� � ���& <C5?&

�� �� �$������ ��� � � � ����*��� ���� � $���� ��� ���

�������� �� ��� ������ � �� �����K� ���� � ����� ���

��� � ���� � $������ ���� �� ������� ���� ��� ���� ��

����� $��������&

��������� � 68������� �� ������ <C"?7& � ������ �� �����

� ��� �������� �� ��� ������ �� �� � �$� �� �+��������

������� � �� ������� $� � ������ *���� � � N���� �� �

� ���������� �����O� ���� � N�� � � ���������� �����O�

� � ������ ��� ������ �� �� ��� �& -�� ��� ����������

������ � ���� � � � ���$���� $��� ��� ������� ���& � �

������ ��� ������ �� �� ��� � �� & '����$$ �� �� ���

������ ��� ������� � � ���� �& -�� ��� ���������� ������ �

��� ������ � ����� �� � ��$� � ���� ��� 2 �� � ������$�

���� ����� ������ �� ��

,��������� ���� ������� � � � � �� ��� � ������

����� ���� ���� � � ���������� ����� & �" � �� �����

���� $��������� �" � � $��� �� $��������� ��� '�� �����

������� � �� � ������� ���� ���� � � ��������& L�� ��

����� ������� �� ��� ���������� � �� ��� ����������� �*�

�%���� �� �� � ���������� ����� �� ��� ���� �$�� ��

����������� �*� � ������� ����� ���� ��� $������ �*�

� ������� �������& 0���� ���� � � �������� �� �%����� ���

����� �� ��� ���� ���� ���� �* �� �� ���� ���� � ��� �

����� �� ���� ��� $��� ��� ����� ���� ��� ���$���& '���������

*� ��(�� � ���� ��� �� � ���������� ����� �� � ���� ���� ��

�$�� �� �� ��$������ ���� $�� �%���� ��� �� ���� �����& ,�

$��� ������ � ���� ��� �� � ��' ��� � � ���� ���� �� �� � � ��

���; ��� � *� �� � ��� �$�� ���� � �� ��� ��'& : ��� �

���������� ��� � ���� ��� 2� ��� $��������� ���������� �

�%���� � �� ���� ��� 2�� ��� �� �� )��& 9� ��� ��2� �������� ��� ��� �� ��� ���� $��� ��� $��������& ,� �����

*����� � � ��2� ����� ���� � � � $��������� ���� �

���������� � �� �%���� �� �� �� ���� ��� 2& �� � ����� ��

���� � ��' ����� *� ��(�� ��� ���������� $��������

� ����� �� ��� ����� �� ���� � ������ ��&

���������� 64��$���� ������������� ����������� ��7& ,�

��� ������� �������� �� ������� � ��� �� ����� �� $������

�����3 ��� ������ � ����� ���3 ��� �� ��� ��' ���3 ���

��(��� �� �����*�3

"& @�� >3�� � N��� � �� �%���� �� ��3 ���O ��� ���� � � �

��� >3 � ����

>3��� 9� ��(��3

6�7 ��3 � ��>3� 6��� $�*�� ��� �� >3 ���

6�7 '�� $��� �� ����� � �� �� ��3 � ��� ��� ����� ��

����� �� � &

�& -�� ��� � � � � �3�N�O� � NN�O�� � >3��O�

C& -�� �� ���� ��� � � � ��� � � � � �3�� � N�O� �N� N�O� � �3��� � � � >3��O�

,��� � ���� ��� ���$���� ������ ������� ���� ���� � ��

��� �%���� ��� �� � ���������� �����&

-�� ��� ���������� ������� � ��% ��� ��)����� ��

���; �� ��� �� �(� ��� &�& ��� �%���� �� ���� ��� ���� �

����& ��*����� � ����*��� ���� � $���� ��� *� ������

������� ��� ������ �� �(� �� �%���� �� * �� � � (� ��

$�� �� �� � ��& '��������� *� ����� ���$ �%���� �� �������

��� ������� ��� ������ � $��� �� �%���� ��& '� � $���� �� ���

�� ��(��� �� �� �������� �� ������& 9� (��� ��(�� �

��$$ � 2� ����� �� �����*�3

'������ �� ��� � � � �" � " �� � � @ � �� "���

*���� � � � � � � � � �" � " �� � � @ � �� "�� � � @ ��

� � � � �" � " �� � � @ � �� "��� � � � ��� � � �� �

� � � � �" � " �� � � @ � �� "�� ��� � � �

��������� � 6���� �� �%���� ��� �$ �� � ���$�7& ,� ���

������ ������� �� ���� �������� �� ������ � �

��� �� ����� �� $�������� ���� �3 ��� ������ � ����� ���

�3 ��� �� ��� ��' ��� 3 ��� ��(��� �� �����*�&

"& ���� �3 � '������ �� ���

3 �C!�& -�� �� ���� ���� � � ��3��� � N'������ �� ��� �

�3���O�

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7='B#D

C L�� �� ����� ���� *� �%������ ��� ����� �� �� �$$� �� � ��� �� �%����

� ���� &�& '������ �� ���3 � � N'������ �� ����� � ��

3 O� ,� ������� ��� � ��

�� ��� ����� �� ��(��� �� � ���� � D� ��� ��� � � D� *� *� �� � ��� �������� ��� ��� N� ����� � �O� 0��� �%���� ��� �� ����� ��� * �� �� ���� � ���

��)��� *��� ����� � �� � �; �� ������ ��&

Page 7: A methodology of testing high-level Petri nets

'�� �� ������ ������ �3 ��(��� ����* ����� �� ����

���$���� ��� $��� �� �%���� ���&

��������� � 6I� ������ ������7& ,� ��� ������� ������

��� �� ������ � � ��� �� ����� �� $�������� ��3 ���

������ � ����� �� �3 ��� �� ��� ��' ��� L ��� ��(���

�� �����*�&

"& ��3 � ��> �

3�� *���� > �3 � ��

�" '������ �� �>3�� '��

$��� �� ����� � �� � ��� ��� ����� �� ����� �� � &

�& -�� �� � � � � �3�N�O� � NN�O�� � > �3��O�

C& -�� �� ���� ��� � � � ��� � � � � �3�� � N�O� �N� N�O� � �3��� � � � > �

3��O�

,� ��� �� ������ ������� �� ���������� $��������� � �

��� �� ���$���� �� $��� �� �%���� ��� �� ��� ��' ��� �����

����& ,� � *���� ��� � ���� $��� �� �%���� ��� � ���� �

$��������� ��� ���� � ������� ������ �� ���$�� *� ��

��� ������ ��� � ��� ������& '� � ����� �� ��� � ����

� ���� �� �� ���������� � �� �� ���� �& 9 ����� ���� ��

������ �� *� ���� ���� ���$���� �%���� ��� ��� $��� ��

�%���� ��� �� ���� �%���� ��� � ��� ��)���& '�� ������

��� � A�(� � �� � � �� ������ � ��� ����� ���� ����

�������� �� ������ ��� �� �%������� ���� �& '�� ��� ��

�� �%����� �� � ������� ��(��� �� �����*� <C"?& @�� � ��(��(� ��� � � ������ �� �*� �������&

��������� � 6/%����� �� ����� �� ���*��� �������

<C"?7& 0����� � � �� ��������� �� ������ �� *� ����

� � �� � ��� ��� � !� ����� � � �������$� �� � ����

������ � �� �(��(� �� ���� ���� 6"7 ��� ��(� � ���

��� � � ����� ��� 6�7 ��� ��� ���� ���� 2� �( �2� �

��� �2�

��

,��������� ������ � � �� ��������� �� ������ ������ ���� ������ � �������� ��� ������� ���� ���� ���

������� �� ����� ���� � ����� ���� ���� ������ �����& '�� $�������� ���� ������ � �������� ��� ��

�%������� ���� ��� $�������� ���� � ��������&

� ������������������ �������

�� ����� � ���& <C"?� � ���� ������ ����� �� �*� �� �

���$������� �� �������� �� ������ ��� �� ���)��� �� ����

��& '�� ���)��� �� ��� �� ������ ��� ��* �� ������ ����

����� ������ ���� � ��� ��* �� ������ ���� ������� ����� ����

�%���� ���& '�� �������� �� ������ ������ ��� ��* ��

������� ��� ������ � �����K� ���� � ����� ��� ��� �

��� ���� �%���� ���& � ����� � ����� ����� ���� � ������

�������� ��� ����� � ��� (��� ��� � ���� �%���� ��� ���

������� ���� ���)��� ������ � �� ��� ����� � ��� �������

� ��� ���� �&

'�� ���� ��� � ����� � ����� ����� ���� � ������

���� ��� �����* � �������� �� ������ ��� ���)���

�� ��� ��&

��������� � 6- ��� ����� � ��� ������7& '�� (��� ����� �

� ���K ������ 3 � �%������� ���� ��� �� ������ ������

� ��� ��$$ �3 - � ���� � ��� �"�@ �� *���� � �

� � �" � " �� � � @ � �� "�� � � @� ,�� ������ � ����� ��

3 �

3��� ���

��

- � ��������� � �3���

�� ��� �� � � � �

'�� �����* � � ��� ����� � �� ������� �� ��� �� ���

���)��� ����� �&

��������� � 6'���� � �� �������7& @�� . �� � ������� ��

�� ���� �%���� ��� �� � ��' ��� 3& . ��� �(�� ��� ����� �����*

��� �� ��� �� ��

��. - � ���� � 23 � *���� 23 � ��� ��� ��

����� � ��� �� 3& '�� �����* � ����� �� � ������ ���

����� � �� ������� �����������3

'���� � ��4�������3�.� �

���.

- � ���������

������23�

-�� �%��$��� ���� �%���� ��� �� ��� � � � $� ����$����K

��' ��� ��� � '����� " ��� � ��� �� ��� ����� � �� ������

�� �� ��� ��& ��� ��� ����� � ��� � ��� ��' ��� 6 &�& � �;�$

��� �����*�7 ��� (���&

���� $�� ����� � ��� �� �� ������� � � ���; � ���

(��� � ��� ���$ �� �%���� �� ��� �� ��� �% ������ �� ����

������ � �� ��� ����������& ��*����� ��� ��� ������� ��

����� � ��� ��� �� (���& '�� �����* � ��(��� ��� ��� �� ��

���� � � � �� � ������ �� ����� � ��� ��� ��� ���� � � � �� �

��)����� �� ���� �������&

��������� � 6-��� � � � ��� ���������� ������ �� ����� �

� �� ������7& @�� � 2 �� � ������ �� ��� ����� � ��� �� �

��' ��� 3& '�� ������ � �����+��� � ��� ��� � ����� �% ���

�� �%���� �� � � � � �" � " �� � � @ � �� "�� � � @ �� ���

��' ��� 3 ���� ���� ��� ���� � � N � "�@� ��@O� � ��

'�� �� ���� �� ������ �� � ���� ��� ����� � �� ������ �

��� � G� �� ��� ���&

� ��� ����� ����� � � ��)����� � �"�

���@� �

%�� % � � ��

������� �� ��� ����� � ��� �� � ��' ��� 3& � ����� � �� �����

� �"�

���@� �

%�� � �����+��� � ��� ��� � ����� � �� �%����

� �� � � � � �" � " �� � � @ � �� "�� � � @ �� ��� ��' ��� 3

���� ���� ��� ���� � � N � "�@� ��@O� �E � ��E� ��� ��� E �

"� ��@�%� ��� *� �� ���� ��� �%���� �� � ������ ��� ����� �

� �� �����& '�� �� ���� �� ������ �� ����� � �� ����� � ���

��% ��� �� ��� ���������� ������ �� �� ��������&

9��� � ����� � �� �����K� ���������� ����� �)���� �� "�

���� �� ��� ������� � � ����� � �� ����� � �"�

���@� �

%�� % � � ��� ��� � ������ ����� � � � ����� � �� ��)�����& -��

�%��$��� ���� ��� ��� $��� �� �%���� �� � '���� " �� ���

� � � $� ����$����K ��' ���& '�� ��� �� ������� ���� ���

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7=' B#5

Page 8: A methodology of testing high-level Petri nets

����� � �� ��)������ ������� �� �;�$� �����*��� �� �;�$�� �;�$�� ������*�� �����*��� ��� ������*�� � �;�$�& '����� �� ���� ��� ������C ��)������ �� ����� � ��� �������

�� �;�$� � �;�$� �����*��� ������*�� � �;�$� �����*���������*�� � �;�$� � �;�$�� �� �;�$� �����*�� � �;�$���� �;�$� �����*�� �����*��� ��� ������*�� �����*��

� �;�$�& '�� ����� � �� ����� �� ��� $��� �� �%���� �� ��

��� � � � $� ����$����K ��' ��� ��� � '���� � �

�N� �;�$O� N�����*�O� N� �;�$� � �;�$O� N�����*��

�����*�O� N� �;�$O� N� �;�$� �����*�O� N�����*�O�&@�� 2���� �� ��� ��$$ � ��(��� �� �����*�3

'������� � � � "�@� ��@��

*���� � � � � �" � " �� � � @ � �� "�� � � @�

'�� �����* � ������ ������� ��� ��)������ �� ����� � ��

(� �� � ��� �%���� ��� �� � ���������� �����&

��������� �� 6'���� � �� ����� ������7& '�� ����� � ��

����� ������ �3 � �%������� ���� ��� �� ������ ������

� ��� ��$$ � 2���� ��(��� �����& ,�� ������ � ����� ��

��� ��� $��$��� ���� ��� �� ���� ��� � � � � �3��� �N��� � N'��������� � O � � �3���O�

'�� ����� � �� ����� ���� � ������ ��)� ��� ��� ��)�����

�� ����� � �� ������� (��� ��� � ���� �%���� ��� �� ��������&

'��� �� � ��)� ��� ��� ����� � �� ����� ������ �� �� ����& �

� ������ �� ���)��� �� ��� � ��� �� ��(��� ��� ����� � ��

����� ���� �&

��������� �� 6"����������� ������% ����� �������7&

@�� . �� � ������� �� �� �%���� ��� �� ��' ��� 3& @�� "�% � �� ������� �������& . � �� � �� ��� �� ��� "��� ���� ��

�� ���*% ��� ����� ����� �������� �� ��� ��� � ��� ��� �

��� �� ���� ��� ����� � �� ����� 1 * �� ����� ���� ���� ��

�)��� �� % ��� ���������� ����� ���� ���� �� �)��� �� "�

����� � �� ����� ��� � � .� ���� ���� 1 � ������� � �& ,�

$��� ������ "����������� ������" ����� ������� � ������

"��� ���� �� ��� ����� ��������& '�� "�����������

������% ����� ������� ����������� � ��(��� � ���

�������3

4��'����4"�%�3�.� � �423�"�%�.���'��"�%�3��

*���� '��"�%�3� � ��� ��� �� ��� ���� ��� ����� � �� ������

* �� ����� ���� ���� �� �)��� �� % ��� ���������� �����

���� ���� �� �)��� �� "� ��� 423�"�%�.� � ��� ��� �� ����� � �������� � '��"�%�.� ���� � ������� � �� ����� ��� �������

� .&

-�� �%��$��� ��� $��� �� �%���� �� � '���� " ��� �(�� ���

"����������� ������� ����� � �� ����� ������� �� ��� ��&

��*����� � ���� ��� ��� �� ��� "����������� ������C

����� � �� ����� ������� �� ��� �� ������� ��� ��)����� ��

����� � ��� ������*�� � �;�$� �����*�� � ��� ������� �

��� $��� �� �%���� ��& '�� "����������� ������� ���)���

����������� �� ��� $��� �� �%���� �� � �E>& '�� $��� ��

�%���� �� ��� � '���� � ��� �(�� ��� ������������

����� � �� ������� �� ��� �� 6 &�& ������������ ������"

�������7&

'�� �����* � ������ $���� ��� ������$� �� ����� ���

�� $� ���*��� ������������ ������� ���)��� �� ��� �& ��

���)��� �� ��� �� ( �������� �� ��� �� � � ��� ��� ����

�%���� ��� .� . ��� �(�� �� ��� �� ( �$� �� ���� . ����

��� �(�� �� ��� �� �& '�� ������$� �� ����� ���� $� ���*���

���� ���)��� �� ��� � ��� ������ ������� �� ���� � �������K

����� ������ � �� � � ��� ���� ���� <B ?&

�!!� � #�� ��� ����� �+��� �� �& � � �9� �& � �9������ ���� �*�� ���� �� �� ���*�& ��� ����� ����� �����*

��� �+���� �*�� ���� �� �� ���*�9 ��� ����� �����

��������5

"���# @�� � � �� �� ��� ������� ������& 1

A�(� � �� 5� ��� ������� ������� �" � ��� ��� ��� �" �� ���� �

��� ������������ �������" ����� � �� ������ � � ������ ��

��� ��� �� �� ���� ��� ������������ �������� ����� � ��

������& 1 A�(� � �� 5� ��� ��� ���� . �� �%���� ���� . ������

�� �$� �� . ���� ������ �"� 1 A�(� � �� ""� . � ���)����

������ � �� ������������ �������� ������� �$� �� ����

. � ���� ���)���� ������ � �� ������������ �������"�

'��������� ��� ��������� � ����& �

�!!� � #�� ��� ����� �+��� �� �& � � �9� �& � �9������ ���� �&*�� ���� �� �� ���*� ��� ����� ����� �����*

��� �+���� �9*�� ���� �� �� ���*� ��� ����� �����

��������5

"���# ,� � � � ��� �� ��� $���� �� @���� "& �

L���3 6"7 ������������ ����� � �� ������� � ���������

���� ������" ����� �������& '��������� � @���� �� ���

��� �� � � � ������������ ������� ����� � �� ����� �������

�� ��� �� �������� ������������ ����� � �� �������& 6�7

'���� � �� ������� � "����������� ������" ����� ������

��& '��������� � @���� " ��� @���� �� ��� �� � � � ��

���������� ������� ����� � �� ����� ������� �� ��� ��

�������� ����� � �� �������&

��������� ��� �����* � ��� ��� ����� ����� ��������

�� ��� �� �������� ��� ����� �� ��� �&

��������� �� 6��� ����� � �� ����� �������7& @�� . �� �

������� �� �� �%���� ��� �� � ��' ��� 3& '�� ���� �%���� �� .

� �� � �� ��� �� ��� ��� ��� ����� ������ �������� �� ��� ���

� ��� ��� � ��� �� ���� ��� ����� � �� ����� 1 �� 3� ����� �

�� ����� ��� � � . ���� ���� 1 � ������� � �& '�� ����� � ��

����� ������� ����������� � ��(��� � ��� ��������

''4�3�.� � �423�.����'���3��� *���� '���3� � ��� ���

�� ��� ���� ��� ����� � �� ������ �� 3� ��� 423�.� � ��� ���

�� ���� ��� ����� � �� ������ �� 3 ���� � ������� � �� �����

��� ������� � .&

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7='BD

Page 9: A methodology of testing high-level Petri nets

�!!� � #�� ��� �� �� � ��� ��� ��� ����� ������ �����*

��� �������� �+���� ��� �*�� ���� �� �� ���*� ��� ��*

��� ����� �������� �������� 5

"���# ,� � � � ��� �� ��� $���� �� @���� "& �

,� � *���� ��� � ���� ���� ���������� ������ �

$���� ��� ��� ����� � �� �(� �� ������ �� ���� ��� �����

� � �� ������& '� ��� �� ���� �� ���)��� �� ��� ��� *�

�� ���� �� �(� �� ������ �� ���$���� ����

���������&

,� ����*��� ���� �� ��� �� ���� ��� ��� ����������

�%���� �� �� � ��' ��� �� ������� ���������� �%���� ���

�� ��� ���� ��' ���& @�� 1 � �� � �"�@� �%�� % � � �� �

��)����� �� ����� � ���& 9� �� ���� �� �%���� �� �

��������� ������ ��)����� 1� � � .����� � �� � ����� ��

1 �� � �������� �� �����)����� �� ����� � �� (� ��& -��

�%��$��� ��� ����� � �� ����� �� ��� $��� �� �%���� ��

��� � '���� � �� ���� ������ ��� �����* � �*�

����� � �� ��)������&

�� �;�$������*�� � �;�$�� �;�$������*�� �����*��� �;�$� � �;�$������*�� �����*��

�� �;�$������*�� � �;�$�� �;�$������*�� �����*��� �;�$� �����*�� � �;�$� �����*��

��������� �� 6,�������� � ������% ����� � �� ��)�����

�������7& @�� . �� � ������� �� �� �%���� ��� �� ��' ���

3& @�� % � �� �� ������� ������& . � �� � �� ��� �� ���

$ �������� � �� ���*% ��� ����� ��1� �� �������� �� ����

��� � ��� ��� � ��� �� ���� ��� ����� � �� ��)����� 1 * ��

����� ���� ���� �� �)��� �� %� ����� � �� ����� ��� � � . ����

�� ���� ������ 1&

'�� �������� � ������% ����� � �� ��)����� �������

����������� � ��(��� � ��� �������

,���������4%�3�.� � �,���������423�%�.���0�)%�3��

*���� 0�)%�3� � ��� ��� �� ��� ���� ��� ����� � �� ��)������

* �� ����� ���� ���� �� �)��� �� %� ��� ,���������423�%�.� � ��� ��� �� ����� � �� ��)������ � 0�)%�.� ���� � �� ����������� � �� ����� ��� ������� � .&

-�� �%��$��� ��� $��� �� �%���� �� ��� � '���� � ��� ��

(�� ��� �������� � ������C ����� � �� ������� �� ��� ��&

'�� �*� ����� � �� ��)������ ���� ��� �� ���� ������� �

��� �%���� �� ����� � ��� ����� � �� �����)������ �� �����

���� ���� �� �)��� �� C& '�� $��� �� �%���� �� ��� � '����

" ���� ��� ��� �� ��� �������� � ������C ����� � �� ������

�� �� ��� ��&

L�� �� ����� � �������� � ������ ��� ��� �������� �

������% ����� � �� ��)����� ������� �� ��� �� � �)� ������

�� ��� ������% ����� ������� �� ��� �� $��$���� ��� �����

� ���� � ���& <B"?& ����� �������� � ������" ����� � ��

��)����� ������� � ����� � �� �������&

�!!� � #�� ��� ����� �+��� �& � � �9� �& � �9������ ���� � �������� � �� ���*�& ��� ����� ��1� ��

�������� �+���� � �������� � �� ���*�9 ��� �����

��1� �� ��������5

"���# ,� � � � ��� �� ��� $���� �� @���� "& �

�!!� � #�� ��� ����� �+��� �� � ���� &*�� ��*

�� �� �� ���*� ��� ����� ����� �������� �+���� � �������*

� � �� ���*� ��� ����� ��1� �� ��������5

"���# @�� 1 � � "� ��@� %� �� �� "����������� �����

� � �� ����� �� ����� ���� ���� �� �)��� �� %& 1 A�(� � �� 5�

���� ������� � �� 1 � � � ������ ���& @�� � � N��O� � �"� ��@�%� @�� 1 � � ��"� ���@� �%�� �� �%���� �� � ������ 1

�$� �� ���� ����� � � �������� �� �����)����� �� ����� � ��

(� �� ���"�

�����@� �

��% ���� ���� � � ����� � �

"� ��@�%� '��������� � .����� � �� � ����� �� � �������� ��

�����)����� �� ����� � ��� �"� ���@� �%� '�� ���������

�����*� ��� �� ��� ���� ���� � ��)����� 1 � �� ����� � ��� ����� ��� � ��� ��� � ��� ������$��� � ���������� �����

" ����� � �� ����� � ���� ���& �

L�� �� ����� "����������� ������% ����� � �� �����

������� � ��� �)� ������ �� �������� � ������% ����� � ��

��)����� ������� �� ��� ��� ������� ��� ������ ������ ����

�%���� ��� �� (�� ��� ����� � �� �� � � �� �� ����� � "�

���������� ����� � �� ����� *� �� ��� ������ ���� ���& -��

�%��$��� ��� $��� �� �%���� �� ��� � '���� � ���� ���

��� �� "����������� ������C ����� � �� ����� �������

�� ��� ��� ��� � ��� �(�� �������� � ������C ����� � ��

��)����� ������� �� ��� ��&

'�� � ���� � - & � ������ ��� ��� ������$� ��

����� ���� $� ���*��� ��� ����� � �� �� ����� ���� �

�������&

� $������������ �������

,� �������� �� ����� � ����� ����� ���� �� � �������� �����

���� � ������ ������� ��� ������ 6 &�& ��� ���; �� �� � ��'

���7 �� ��� ���������� ����� ����� ���� ��� ������� ����

���)��� ������ � �� ���� �������� ������� ��&

��������� �� 60���� ������7& '�� ����� ������ �3 �

�%������� ���� ��� �� ������ ������ � ��� ��$$ �

���; ����� � N� ��"�@����@O�

*���� � � � � �" � " �� � � @ � �� "�� � � @�

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7=' BD"

Page 10: A methodology of testing high-level Petri nets

,�� ������ � ����� �� ��� ��� $��$���

�3��� ����

���; ����� ����� � �3����

��� �� ���� ��� � � � �

@�� 3 �� � ��� ��' ���& ���;�3� � ��(��� �� �� ���

��� �� ��������� ���; �� �� 3� &�& � � ���;�3� � ������ � ����� � �� � � �� ���; � � � � ��� ��

�%���� �� � �� 3 �� � ���� ���� � � ���; ������'�� �����$� �� �+������ ������ �� � ���������� �����

���� ��� ��3 6"7 � (� �� ��� �03 �� �������� ������ �� 3�

��� 6�7 � ��$$ � 0����3 � ���;�3� � �03 ���� ��(���

��* ���; �� ��� ����� ���� �� ������&

-�� �%��$��� �� ���*� � - & C *� ��� ��(�� �0A� �N � "� ��@� �����O �� �� ��� ��� �� �������� ������ � ��� � � �$� ����$���� ��' ��� 6� � � ��� ������� ������7� *����

� �0A� ����� ���� Q $� ����$���� ��� ��� �K& '��

��$$ � 0����A� � ��(��� �� �����*�3 0����A���� � � �

��� $��� ���� .��� � ����� �� ��;��� � ��� ���; ��& ,� �

*���� ��� � ���� ��� � ��� ��' ���� *� ��� ��(�� ����

���� ��� �������� ����� �$���& -�� �%��$��� ��� �����* � �

������� �������� ����� �$��� ��� ��� � � � $� ����$���� ��'

���& @�� �0 �A� � N�� �;� ���O� ��� ��� ��$$ �

0���� �A���� ��� �;� � ��� ��;�� F"G � ������� � ��� $��� ���� '� �; ��

���� � ��� ��;�� F�"� "� ��G � ������� � ��� $��� ���� /�� ��

*����� ��������� ��� ����� Q�� �;K ��$������� ��� � ���� ��

���� $� ����$��� " � �� �; �� ��� ��� ����� Q���K ��$�������

���� $� ����$��� " � ��� �&

'�� ����� ���� � ������ ���� ��� ����� ������ ��� ���

�����* � ����� ������� �� ��� ��&

��������� �� 60���� �������7& � ������� �� . ��

�%���� ��� �� 3 ��� �(�� ��� ����� ������� �� ��� ��

* �� ���$��� �� ��� �����$� �� ����� ��03 �0����3�� �

��� ��� ���� ��� ����� � � �03 � ����� � �� ����� ���

�%���� �� � � . ���� ���� ����� � �� ����� ��� � ����; ����� ���� ���� 0����3��� � �� '�� ����� �������

����������� � ��(��� � ��� �������

0����4�������3�.� �0����3

���.

���; ����� �����

�������03�

-�� �%��$��� ��� $��� �� �%���� �� ��� � '���� " ��� �(��

��� ����� ������� �� ��� �� * �� ���$��� �� 0����A�� ,� ����

��� �(�� ��� ����� ������� �� ��� �� * �� ���$��� �� 0���� �A��� $� � ��"� ��� �� ������� �"� �� � �03 � � � ���� ��� �����

����� � ��� � ����� � �� �%���� ��

� � �" � " �� � � @ � �� "�� � � @ ���� ���� ��� ���� E�

0������E� � �" ��� 0������E�"� � ��� -�� �%��$��� ��� ���� �

��� ����� ����� � ��� ��� ��� (�� � � � $� ����$����K ��' ���

�� � �� � ��� � ��� �����* � � �����&

��������� �� 60���� ����� ������7& '�� ����� ����� ������

�3 � �%������� ���� ��� �� ������ ������ � ��� ��$$ �

���; �'������� � �� ��"�@����@��

*���� � � � � �" � " �� � � @ � �� "�� � � @�

,�� ������ � ��$$ � ��� ��� $��$���

�3��� � N���; �'������� � �3���O��� �� ���� ��� � � � �

'�� ����� ����� � �� ���� � ������ ���� ��� ����� �����

������& '�� ���)��� �� ��� �� � ��(��� �� �����*�&

��������� �� 0���� ����� � �� �������

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7='BD�

- & �& '�� � ������ �� ����� � �� �� ����� ���� � �������&

Page 11: A methodology of testing high-level Petri nets

@�� . �� � ������� �� �� ���� �%���� ���& . � �� � �� ��� ��

��� ����� ��� ����� �������� �� ��� ��� � ��� ��� ���� ��� �����

����� � ��� ��"� ���� ����� � �� ����� ��� �%���� �� � � . ����

���� � ������ ��� ����� ����� � ��� &�& ����� � E ���� ����

0������E� � �" ��� 0������E�"� � ��� '�� ����� �������

����������� � ��(��� � ��� �����* � �������3

0'4�3�.� � �4'3�.���0'3�

*���� 4'3�.� � ��� ��� �� ����� ����� � ��� ���� ��� �������� ��� ������� �� � �� ���� �%���� ���� 0'3 � ��� ��� ��

���� ��� ����� ����� � ���&

-�� �%��$��� ��� $��� �� �%���� �� ��� � '���� " ��� ��

(�� ��� ����� ����� � �� ������� �� ��� �� * �� ���$��� �� ���

����� �$��� 0���� �A�� ,� ���� ��� ��� �� ��� ����� ����� � ��

������� �� ��� �� * �� ���$��� �� ��� ����� �$��� 0����A�������� � ���� ��� ����� ��� ����� ����� � �� ���� �� �

��� ����� � �� ���� ����� � �� &

4��$���� * �� ����� ���� �� ����� ����� � �� ���� �

��)� ��� �� ������ ��� ��� ���� ���� ��� ������� �� ��� �

��� ���� � $������� ��� ���� ���� ���� �%���� ��� �������

����� ����� � �� ������� �������� ����� �������&

�!!� � !������� ���� ��� ��� ������ �& � (�3� ����� ��

�9 � (�3 ��� ���� ������ ��&��9� �� ��9��&� �� � �����+�� �����

��� ����� � )� ���� ���� � ��������� . �� ���� ������� �

�����,�� ��� ����� ��� ����� �������� �������� ������ ����

. ���� �����,�� ��� ����� �������� �������� 5

"���# ,� � ���� �����*��� ���� ��� ��(� � ��& �

� ��)����� 1 �� ������ ��"� ���@� ��� � � ����� ����� � ��

$��� �� ����� �� � ��� ��� � � "� ��@� �� "� ���� ���"� � �

����� ����� � ��& �� �%���� �� � � �" � " @ � �� "�� � � @

������ ��� $���� � ��� ��� � ��� ���� � 0��������� ���� � � "� ��@� �� ,� ����� � �� �%���� �� � ���� ���� � ������

1� *� �� ���� ��� $��� 1 � ���� ���& -�� �%��$��� ��� ��� ��

����� C �0A� ����� ����� � �� $���� �� ������ � � "� ���� � "� �� �"� � "�� �"� �� "�� ��� "� �� ��� ��� "� ���

0���� ����� � �� $��� ���� � ���� ���� ��� ����� �����

������& '���� � � � ������ �� ���)��� �� ��� � ���� ���

�� ���� ��� �� ���)��� ����� �&

��������� �� 60���� ����� � �� $��� �������7& @�� � � "

�� � ��� ������� ������& @�� . �� � ������� �� �� ����

�%���� ���� *� �� ���� . ��� �(�� ��� �� ���*� ����� ��� ��*

��� ��� �������� �� ��� ��� � ��� ��� � ��� �� ���� ���

����� ����� � �� $��� 1 �� ����� ���� ���� �� �)��� �� �� �����

� �� �%���� �� � � . ���� ���� � ������ ��� $��� 1& '��

������� ����� ����� � �� $��� ������� ����������� �

��(��� � ��� �����* � �������3

@0'���3�.� � �4I3���.���0'������3��

*���� 0'������3� � ��� ��� �� ���� ��� ����� ����� � �� $������ ����� ���� ���� �� �)��� �� �� 4I3���.� � ��� ������ ��

0'������3� ���� � ������� � ���� �%���� ��� � .&

-�� �%��$��� ��� $��� �� �%���� �� ��� � '���� � ����

��� ����� ��� ����� ����� � �� $��� ��� "� ���

�!!� � #�� ��� ����� �+��� �& � � �9� �& � �9������ ���� �� ���*�& ����� ��� ����� ��� ��������

�+���� �� ���*�9 ����� ��� ����� ��� ��������5

"���# ,� � � � ��� �� ��� $���� �� @���� "& �

� %&�'�������� �������

,� ����� � �� �� ����� ��� ����� �� ����� ���� �� �������

� �� ����� ��� .�*� �� ��;��� � ��� ����� � ������

*� �� ��� ��.����� � ��� ��(� � ��� �� ��� �������� ������

��� �� �������& '� ���� ��� ��;�� .�*� � ���� �� *�

������$ � ��* �$� �� ���� � ������ ����� �� ��� � � ���

���� �� ���� .�* ���� � �� ��)���� �� $������ <CC=C>?&

� .�*��� ����� ���� � ������ ��)� ��� ��� ������ � ��

��;��� $��� � ������ ��� ���� � � ��' ���&

@�� �!�2 �#� �� ��� ��� ��������� �� � ��� ��' ��� 3 ���

� � 2 �� � ����� � �� ���� �� 3� � .�* � � # � ������ ��

� )��� .�* �� �� � � � �� �� �� ��� ���� $��� ���� ���� � � �!� � .�* � � # � ������ �� ��)��� .�* �� �� � � � ��� � ����� ���� $��� ���� ���� � � � !� �� �*��� .�* � �� � � �� �

�� �� ������� � �� �%���� �� � ��� �%���� �� ����� �� �

(� � �� � ���� ���� �� ����� ��� ��;�� �� .�* � � ��������

� ��� (� �& �� ���*��� .�* � �� � � �� � �� �� ������� �

�� �%���� �� � ��� �%���� �� ����� �� � (� � �� ����� � �� �

���� ���� �� ����� ��� ��;�� � $������� �� ��� .�* � �� ���

������ �� ��� (� �&

��������� �� 6,�*��� .�*� ���*��� .�* ��� .�* �����

���7& @�� � � � � �" � " �� � � @ � �� "�� � � @ �� ��

��� �%���� ��� #� ��� H� �� ��� ���� �� �*��� .�*� ���

���*��� .�*� $��� � $���� � ��� ����� � �� (� � �� �� � �"� ��@� ��@� ���$��� ���& 9� ��(�� ��� �����* �

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7=' BDC

- & C& 0���� ����� � �� � ����� ��� ��� � � � $� ����$���� ��' ���&

Page 12: A methodology of testing high-level Petri nets

��$$ ��3

,�*���-��*��� � �# �#"�@�#��@��

8��*���-��*��� � �H �H"�@�H��@��

-��*��� � �# � H �#" � H"�@�#� � H��@��

"& '�� � )��� ?�) ������ ,L � �%������� ���� ��� �� ����

��� ������ � ��� ��$$ � $ )���#��)� ��� ��� �������

� ����� �� �

,L3��� � N��� � N,�*���-��*����� � O �

� �3���O���� �� ���� ��� � � � �

�& '�� ��)��� ?�) ������ 8I' � �%������� ���� ���

�� ������ ������ � ��� ��$$ � ��)���#��)� ���

��� ������ � ����� �� �

8I'3��� � N��� � N8��*���-��*����� � O �

� �3���O���� �� ���� ��� � � � �

C& '�� ?�) ������ -@ � �%������� ���� ��� �� ������

������ � ��� ��$$ � #��)� ��� ��� ������ � ����� ��

-@3��� � N��� � N-��*����� � O � � �3���O���� �� ���� ��� � � � �

��������� �� 6,�*��� .�*� ���*��� .�*� ��� .�* ������

��7& @�� . �� � ��� �� �%���� ��� �� ��' ��� 3&

"& . � �� � �� ��� �� ��� � )��� ?�) �������� �� ��� �� �

��� ��� �*��� .�* � � 3� � � ������� � �� ����� ���

�%���� �� � .&

�& . � �� � �� ��� �� ��� ��)��� ?�) �������� �� ��� �� �

��� ��� ���*��� .�* � � 3� � � ������� � �� ����� ���

�%���� �� � .&

C& . � �� � �� ��� �� ��� ?�) �������� �� ��� ��� � � ��� ��

(�� ���� �*��� .�* ������� �� ��� �� ��� ���*���

.�* ������� �� ��� ��&

-��� ��� ��(� � ��� � � ��� �� ��� ��� �����* � �����&

�!!� � 2�� ?�) �������� �������� �+���� +���

� )��� ?�) �������� � � ��)��� ?�) �������� ��������5

,� � ������ ��� $��� ���� ����� � �� ���� 6���' ���� <B�?7�

� .�* ��� �� �������� * �� �� �%$���� �� � ��� ���� �� � �

I �@� -� ����� ����* � ������� �$�� �� ��;��� �� .�*

������& '�� ����� ����������� � �� ����� ���������� � ��

� � .�* ����� ��& '�� �%$���� �� � � I ����� ���� � ���� �

��;�� �� �� � ��;�� I� �� ���� ��;��� �� � ��� I �� $���

������ ��� .�*& /��� ���� � � ��� �%$���� �� � ������ �

$��� ��� ��� �� �� ��;��� �� ��� .�*&

��������� �� @�� �%$���� �� �" � �� �@� �� �� ���

����� �� �� �*��� .�* � �� � ����� � �� � � � ��' ��� 3& ,� ��

�%���� �� �� 3 ����� �� �� ����� ��� (� � �� ����� � �� � ����

�������� �� ����� ��� ��;�� �� �� �$� �� ��� .�* �� *� ��

���� ��� �%���� �� ������ ��� �� ��� �� �� ��;��� �� ���

�*��� .�* �&

@�� �%$���� �� �" � �� �@� �� �� ��� ����� �� ��

���*��� .�* � �� � ����� � �� � � � ��' ��� 3& ,� �� �%���� ��

�� 3 ����� �� �� ����� ��� (� � �� ����� � �� � ���� $�������

�� ����� ��� ��;�� �� �� �$� �� ��� .�* �� *� �� ���� ���

�%���� �� ������ ��� �� ��� �� �� ��;��� �� ��� ���*���

.�* �&

@�� �%$���� �� �" � �� �@� �� �� ��� ����� �� � .�* �

�� � ����� � �� � � � ��' ��� 3& @�� N��"�����@����O� �� � �� �� � ������ �� N�"����@���O� '�� ���

N��"�����@����O� � � � �� � ������ � ���+� ���� ��

���� � �� ��� .�* �& �� �%���� �� �� 3 ������ ��� ���� ���

� �� N��"�����@����O� � � � �� �� ��;��� �� �*��� .�* �

�� ����� � �� �� � ����� � �� ����� ��� (� � �� ����� � �� � ����

�������� ��;��� ��"�����@� ��� ���� 0 � ����� *� ��(��

��� ��� �� �� ����� � � ���� ��� �� �� ��;��� �� ��

���*��� .�*&

��������� �� 6,�$�� ��;��� ���$�� ��;�� ��� ��;�� �����

���7& @�� � � � � �" � " �� � � @ � �� "�� � � @ �� ��

��� �%���� ��� �� ��� J� �� ��� ��� �� �$�� ��;��� ���

���$�� ��;��� �� ��� ����� � �� (� � �� �� � � "� ��@� ��@�

���$��� ���& 9� ��(�� ��$$ �� ,�$��'�;��� 8��$��'��

;�� ��� '�;�� �� �����*�&

,�$��'�;����� � �� ��"�@����@��

8��$��'�;����� � �J �J"�@�J��@��

'�;����� � �� � J ��" � J"�@��� � J��@��

"& '�� ,�$�� '�;�� ������ ',L � �%������� ���� ���

�� ������ ������ � ��� ��$$ � ,�$��'�;�� ��� ���

������ � ����� �� �

',L3��� � N��� � N,�$��'�;������� � O �

� �3���O���� �� ���� ��� � � � �

�& '�� 8��$�� '�;�� ������ '8I' � �%������� ���� ���

�� ������ ������ � ��� ��$$ � 8��$��'�;��� ��� ���

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7='BDB

Page 13: A methodology of testing high-level Petri nets

������ � ����� �� �

'8I'3��� � N��� � N8��$��'�;������� � O �

� �3���O���� �� ���� ��� � � � �

C& '�� '�;�� ������ 'R � �%������� ���� ��� �� ������

������ � ��� ��$$ � '�;��� ��� ��� ������ � �����

� �� �

'R3��� � N��� � N'�;������� � O � � �3���O���� �� ���� ��� � � � �

��������� �� 6-��* ��� �� �������� ��� .�* ���� ��� ��

�������7& @�� . �� � ��� �� �%���� ���&

"& . ��� �(�� ��� � � ������ ������� �� ��� ��� �

��� ��� � ��� ��� �*��� .�* � ��� ��� $��� ���

��� ��� � �� ��;��� �� �� ����� � �� ����� ���

�%���� �� � . ���� ������ ��� ��� �� �� ��;���

�� �&

�& . ��� �(�� ��� ��� ������ ������� �� ��� ��� �

��� ��� � ��� ��� ���*��� .�* � ��� ��� $��� ���

��� ��� � �� ��;��� �� �� ����� � �� ����� ���

�%���� �� � . ���� ������ ��� ��� �� �� ��;���

�� �&

C& . ��� �(�� ��� ?�) ������ ������� �� ��� ��� � �

��� �(�� ���� ��� �*��� ��� �� ������� �� ��� �

��� ��� ���*��� ��� �� ������� �� ��� ��&

B& . ��� �(�� ��� � � ���+� ���� ������� �� ��� ���

� ��� ��� �*��� .�* � ��� ��� ���� ��� ��� ��

��;��� �� � ����� � �� ����� ��� �%���� �� � .

���� ������ ��� ���� ��� �� �� ��;��� �� �&

�& . ��� �(�� ��� ��� ���+� ���� ������� �� ����

��� � ��� ��� ���*��� .�* � ��� ��� ���� ��� ���

�� ��;��� �� � ����� � �� ����� ��� �%���� �� � .

���� ������ ��� ���� ��� �� �� ��;��� �� �&

>& . ��� �(�� ��� ?�) ���+� ���� ������� �� ��� ��� � �

��� �(�� ���� �$�� ���� ��� �� ������� �� ��� �� ���

��� ���$�� ���� ��� �� ������� �� ��� ��&

�!!� �

"& 2�� � � ������ �������� �+���� ��� � )��� ?�)

��������!

�& 2�� ��� ������ �������� �+���� ��� ��)��� ?�)

��������!

C& 2�� � � ���+� ���� �������� �+���� ��� � �

������ ��������!

B& 2�� ��� ���+� ���� �������� �+���� ��� ���

������ ��������!

�& 2�� ?�) ������ �������� �+���� +��� ��� � � ������

�������� � � ��� ��� ������ ��������!

>& 2�� ?�) ���+� ���� �������� �+���� +��� ��� � �

���+� ���� �������� � � ��� ��� ���+� ���� �����*

���!

#& 2�� ?�) ������ �������� �+���� ��� ?�) ��������!

D& 2�� ?�) ���+� ���� �������� �+���� ��� ?�) ������

��������5

"���# ,� � ���� �����*��� ���� ��� ��(� � ���& �

�!!� �� 2�� ?�) �������� �+���� ��� ��� �����

��������5

"���# ,� � *���������� ��' ���� ���� ����� � �� ���� ����

�� ����� ��� �*��� .�* �� ��� ���*��� .�*& '��������� �

��(� � ��� ����� � ��� .�*� �$� �� ����� � ��� ����� �

� ���& �

@�� � � � � �" � " �� � � @ � �� "�� � � @ �� �� �%����

� ��& 9� �� ���� � ��;�� � ��(��� � ����� � �� (� �

� ��� ���� � ����� � �� (� � E� � 6�7 � �� ���$�� ��

����� � �� (� � �� 6�7 � ���� �� �$�� �� ����� � �� (� �

�� E� ��� 6�7 ���� ��� $��� � $��� � �� ����� � �� �� � �� � E� *���� E � �� @�� � � �" �@� �� �� � ������)����� ��

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7=' BD�

- & B& '�� � ������ �� ���� .�* ���� ���)��� �� ��� �&

Page 14: A methodology of testing high-level Petri nets

��� (� �� �� �%���� �� �& ,� � ������ � ���� ?�) ���� � �

����� ��� ��;��� � "�@� ��" ���� ���� E � ��(��� � �E��� ���� � �E�"

� E � � "�@�" � "� � $���

�'� � �� �'�"���"�@�'�� � � � ��' ��� 3 � ������� � �

���� .�* ��� � � � �" �@� �� � � �E � � (� � �� ����� � ��

���� '�E� E � "� ��@� �� -�� �%��$��� ��� (��� �*� ����� � ��

(� �� � '���� " ����� ��� $���� �� �;�$�/�� �������*�� � ��� � � � $� ����$����K ��' ���&

��������� �� 6-��* $��� �������7& @�� � � " �� � ���

������� ������& @�� . �� � ������� �� �� ���� �%���� ���� .

��� �(�� ��� �� ���*� ���� ?�) ��� �������� �� ��� ��� �

��� ��� � ��� �� $��� 1 � ��� ��' ��� 3 �� ����� ���� ����

�� �)��� �� �� ����� � �� �%���� �� � � . ���� ���� � ����� ��

�� ����� ��� ���� .�* ��� � ���� ������ ��� $��� 1& '��

������� .�* $��� ������� ����������� � ��(��� �

��� �����* � �������&

A-���3�.� � �4A-3���.���������3��

*���� ������3� � ��� ��� �� $���� � ��' ��� 3 �� ����� ����

���� �� �)��� �� �� 4A-3���.� � ��� ������ �� ������3� ���� �������� � ���� .�* ��� �� �� ���� �%���� ��� � .&

�!!� �� #�� ��� ����� �+��� �&� �9 � � �& � �9������ ���� �� ���*�& ?�) ��� �������� �+����

�� ���*�9 ?�) ��� ��������5

"���# ,� � � � ��� �� ��� $���� �� @���� "& �

'�� � ���� � - & B ������ ��� ��� ������$� �� �����

� �� ���*��� ���� .�* ���)��� �� ��� �&

� $������������������� �������

'�� ���� � ������� � ������� ����� ��� ������� * ��

��� ��������� �� ��' ����& ,� �� � ���� ��� *� � ����� �$�� �

(��� ����� ����� ���� � �������& 1 �$�� (��� ����� �����

���� �� *� ���� ���� �$�� (��� �������� ���� � ��� ���� �

��� �$�� (��� �� �����& '�� � ����� �� ����* * �� �� �$$� ��

���� �� ���� �$�� �� ���� �&

'�� ������ ������ � �$�� (��� �� �� � ��' ��� ��(��� �

����������� ��� ��� ���& /��� ����� � �� � ����� ���� * ��

� ������� �� � ��� ������ �� ��(�� �� ����� ��& ,� ��� ��

���� ����� �� � ����� �� ���� ��;�� ��;��� �� ��� �*���

.�*� �� �$�� ��� $������� ��;��� �� ��� ���*��� .�*�

�� ���$��& '�� �$������� ���� � ��� �$�� (��� �� �� ���

����� � ��� ��� ��(��� � �� ������ � �$�� (��� ��& '�����

����� ���� � � ��' ��� �� � ���������� ����� ���� �$���

����� � ��' ��� ��� �� ���� �� ��� �� �*� ������&

�� ��� ��*�� ������ ��� ����������� �� ��� ������ � �$�� �

(��� �� �� ��� �$�������� �� �� ��� �$���� ��� ���� � ���

��' ���� � ������& 0���*��� ���� � ������� ����� �� ����

��� � �$�� (��� ��� ���� ���� $��$���� � :����� �� ��&

<"��? ��� ������� ������$�� ��� ���� � ��+������ ����� �����

*��� � A��� ��� -���;� <C�B? ��� 4��� �� ��& <��>?& '����

������� ������� ���� ���� �$������ � ��� � ������ �� ��

������ � �$�� (��� �� � �$�������� � � ������$��� �

����� ��E$�������� �� �� �������� ���� �$� �� � ������ �� �

����� � ��+������ ����� ������& '�� ��� � ��� �� ��� �����

��� � �� ��� ���� �)��� �� �� �� ������ � �$�� (��� �� ��

������� �*� ��)������ �� ������ 6�� $��������E����� ��7

����� ��� ���� �� ����; ��� �)� ������� ���*��� ��� �*�

�������& '� � ������ ��� ��� ��� � � � ����� �� ���� �����

��� �� � ��� ��� ��� �� �� ��+������ ����� ����*��� ������

�� ��� ��� (��� ������ ������ �� �� ������ � �$�� (���

� ��� <>�BC?& '��������� ��� ������ ��� �� �$$� �� � ���

�$�������� �� �� ��� ������ � �$�� (��� �� ���� ��������

���� �$�� �� ��+������ ����� ����� )���& ��*����� � � ���

��*�� ��� � ��� ���� � �� ��� � � �� ������ ������ ��

<>�BC?& 8���� ������� ��� ���� � ������ � �$�� (��� ���

���� ���� ���� $��$���� � ��� � ��������� ���� �� ����� ��

���� � �� ������ � �$�� (��� ��� $��$���� ��� ����� ����

� ����& <BB�B�?&

�� � � ��� ������ ���� ��� ����������� �� ��� �$���� ��� �

��� (��� ��� ����������� �� ��� ����� ��� ����� ���� �� ���

����� � ��� � ������& 0 ��� ��� ����� �� �� � ����� � �� �

�$�� (�� � �� �%$���� �� ����������� ���� ��� �$�������

�� ��� ������ � �$�� (��� ��� &�& � ���� �� ��� � �������

����� ���� ���� � ������� ��� ���)��� �� ��� � ��� ��

�$$� ��& @�� �� � ����� � �� ���� � � ��' ��� 3& /���

� �� ��� ����� � �� � (���� � �������� � ������ �� ��;���

�"� ���@� �� ���� �� �*��� .�*� ��� $������� ��;���

+"� +��@� +� �� �� ���*��� .�*�& '�� ��$�� �� ��;���

��"� ���@� ��� ���� ����� ����� �� �$�� �� ��� ����� �� #

����� ���� �� ��� ����� � �� ���� � ��� ��$�� �+"� +��@� +������� ��� ������$��� � ���$��& '�� ��� � �� ��� �$��� ����

� ����� � �� ���� �������� ��� � ��� ���� �%���� ��� ��

��' ��� 3 � ���� ��� ���� ��� �� ��� ����� �� # � @�� � �� ��

���)��� �� ��� �� ���� � �$$� ����� �� ��� ���� � �� ���

����� ��� ����� ���� �� ����� � ��� � � ��' ���&

��������� �� 64� ��� �� �� ����� � �� ������� �� ���)���7&

@�� . �� � ������� �� �� �%���� ��� �� ��' ��� 3� . � ��� ��*

��� �� ����� � ���1��� * �� ���$��� �� �� � ��� ��� � ���

�� ���� ��� ����� � �� ���� � 3� ��# �� � � ���)�����*���� # � ��� ����� �� ����� ���� * �� ����� � �� ���� �

� � ��� ��� �� �$��� �������� � ��� (� �� �� ��� ����

� ��� �%���� ��� .&

�� �$������ $��$��� �� ���� ���)��� �� ��� � � ���

�% �� �� ����)��� �� ��$� ���� � <�C��#?� *� ��

��)� ��� ���� � � ����)���� ������ � �� ��� �� ��� �� �

��� ����*��� � ��� ������&

�!!� �� 2�� �������� �� ��� ����� �� ���1��� )���

������ �� � �+���� ��� ����� ��������� �� � �����,�� ���

������ �� � ���1��� �� ���� ����� �&

"���# ������ ���� . � ����� � �� ������� �� ���)����

* �� ���$��� �� �& 1 ��� ��(� � �� �� ����)��� ��

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7='BD>

Page 15: A methodology of testing high-level Petri nets

��$� ���� �� ���� ���� ��� ����� � �� ���� � (��� �� �����

���� � .& '��������� � A�(� � �� D� . � ���)����

������ � �� ����� � �� �������& �

'�� �$$� ��� �� �� �� � ���)��� �� ��� �� ��)� ��� �

������ �� ������� ��� ������ ��� ���$���� �� �� ��� ���$��

��;��� �� �� ���� ����� � �� (� �& -�� �%��$��� �� ������

� ��� ������ � ������ � ������ �$�� (��� �� ��� ����

���)����� ������� *� ��� ������ ��� �)��� ��� ���� � ���

���$���� �� �� ���$�� ��;��� ���E�� � ��� $���� �� ���

����������� �� ��� ����� � ��� (��� ��� � ���� �%���� ���&

'�� �����* � ���)��� �� ��� �� ��� ���� �� ��(���

����� �� ���� �������� ���&

��������� �� 6/)��� �� �������7& @�� /) �� ��� ��� ��

�)��� ��� �� ��� ������ �$�� (��� �� 0�/4 ������ � � ��'

��� 3& � ��� . �� �%���� ��� �� 3 � �� � �� ��� �� ���

�1���� �������� �� ��� ��� � ��� ��� � ��� ��� �)��� ���

) � /)� ����� � �� ����� ��� �%���� �� � � . ���� ���� �

����� �� �� ����� ��� ����� � �� (� � ���� ��� �)��� �� ) �

���� � ��� $���� �� ��� ����������� �� ��� ���$�� ��;��� ��

��� ����� � �� (� � 6�� ���� � ��� ������� �� �� ��� ���$��

��;��� � ��� ����� � �� (� �7&

L�� �� ����� � � $��� ��� ���� ��� $���� �� ��� �����������

�� � ����� � �� (� � ��� �� ���� �� � � ������� �)��� ��� �

��� ������ � �$�� (��� ��& '���� � ���������� � �� � ���

������ ��� ��� �� ��� �)��� ��� � ���� �����& '�� ����

���)��� �� ��� �� ��(��� � A�(� � �� �> ��)� ��� ����

���� �)��� �� � ������� ���� �� ����� ���� � ��� $����

�� �������� ��� � � ���� � $������&

,� ������� ��� � �� �� ��� ���)��� �� ��� �� ���

���� � ������ � �$�� (��� ��&

��������� �� 60$�� (��� �� ������� * �� ���$��� ��

�7& @�� 0�/4 �� ��� ������ � ������ �$�� (��� �� ������

� � � ��' ��� 3& � ��� . �� �%���� ��� �� 3 � �� � �� ��

����,����� ���1��� )��� ������ �� �� � ��� ��� � ���

�$�� (��� �� 0�/4 � ���)����� ������ ������ � �� � �

��� �%���� ��� �� ��� ����� � �� (� �� � � � .�

'� � ��� � �� ���)��� �� ��� � � �;� ��� ���� � �� ��'

���� �� �*� � ������� ������& ,� ���� ������� ��� �$$� ��� �� ��

�% �� � *��;� �� ���� � ������ � �$�� (��� ��� �� ���� �

��' ����& �� ��� ��� �������� � �� ��� ������ � ���� �

�������� ��� ���*��; ��������� �� ��' ����& '��������� �

������ �� ���� ������� * �� ��� ������� � ������� �

0��� ��� C=�&

� (���&�����

,� �� � $�$��� *� $��$���� � ��������� �� ���� � � ��

����� ���� ���� ����� �� ��� ������ ����� �� ���� �

���������� ������& 9� $�������� ���� ���$� �� ���� �

������� ��� � ������� ���� ����3 ����� � ����� ����� �����

�� �������� ����� ���� �� ���� .�* �� ����� ���� � ���

�$�� (��� ����� ����� ���� �& /��� ������ � �������

��(��� � �� �������� �� ������ ��� �� ���)��� �� ����

��& ,� ��� � �� �� ��� ������ � ����� ���� $� ���� ���

�� ��� �� ����� ��� �%����� �� ����� ��� ���*��� ��� ��������

� �� �������� *� �� ��� ������ ��� � - & �&

8�� *��; ������ ��� ���� � �*$� �� * �� ��� �����������

�� ���� � (� �� ����� ���� ��� ��� ���� � ����� �� ��

$������ ������ ���� �)� ������� ����� ��� ���*��� �*�

���$���� �� ������� &�& (� �� ����� ���� ��� � ��� ������

��� ���������� $�������� � ��� ������� ������ �� � �$�

��(��� �� � $��� �� ����� �� ���� �$��� �� ���$��� 6�������

�� � � �$$��$� ��� ��� ���� � ��)���� �� $������7� ������ �

���� �� ��(��� � ����� �� �� ���� � ����� ���&

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7=' BD#

- & �& /%����� �� ����� ���� $� ���*��� �� ����� ��� �������� �� �������&

Page 16: A methodology of testing high-level Petri nets

��*����� ����� ��� ������� � � (���� � ���������� ����� �

��� ����� �������� ��� �������� ���*��� ��� *��; ��� ���

����� *��;�& - ���� �� � ������� � 0��� �� "� ��� �����

*��;� ������� �� � �$�� (� ���=����� ��� �)� ��������

��(��� � � ������ �$�� (��� �� ����� )�� ���� �� 440�

@8'I0� �� (� �� ����� ���� �� �� � ����;���% ���� �

�$$�����& 8�� *��; � ����� �� � ������ ������ �����*��;

��� ���� � ���������� ������� *� �� ������ ����;���% �����

� ��� *� �����% ���� � �$$������� �� *��� �� ��� ���� �

�� � ������� ����*��� ��������� ����� � ������ �$�� (���

� ��� * �� �� ������ � �$���� ���� ������ �� ���

$������& ,� �� � $�$��� *� ���� �$$� �� ��� �����*��;

�� � ������� $��� ���� ����� � �� ���� ��� ������$�� � � ���

���� �� *� �����% ���� � �������& 0������ ��� �����

*��;� ���� � ��� � �$�� �������� �� ������ * �� ���

�����$� �� ���� � $����� * �� $��� �� � � �$�� �� �����

� ��� ���$���� ���� �� � ������ ����� �� � ������� ����

���� �%������ �� �����& 8�� *��; $��� ��� �%���� �� �������

�� �������� �� ������� ��� �%$����� ����� ���� $�

6�������� ��� *��;������7 ���� ��� �������� �� �������&

'�� ���������� ����� ���� ��� ������ ��� � ��� ������

�������� �� ������& 1 ��� � � �� �$$��$� ��� ��������

� �� ������� *� ��� ����� ;��*� ����� ��� �� ������ �

������ ���� �� ��� ���� ���� � ��� ����� *��;� ��� ������

���� �� �� ���� ������ �� <B>?&

������� ��� ���� � ������� ��� ��(��� � ����� ��

������ � $��� ���� ����� � �� ���� * �� �������� �����

������ ��� *� ��� ��� ���� ��� ���� � ������� ������ ����

�� �$$� ����� �� ����� ������ �� ���� ���� ��� ����� ������

� � ������ ����� � ��� $��� �� ����� ������ �� <C5?&

��)��'&� ��!����

'� � *��; *�� $��� ��� ��$$����� � ��� L�� ����

0� ���� -������ �� �� ��� I0� ����� ���� ,L'� 5>"BC&

*�#�������

<"? @& 1���� L& 4��)���� @& -� ����� �&4& :������ '��� ��� ������ ��

���� ������ � �$�� (��� ��� �� � �� � $������ �� S������ ��

0���� ��� 0���*��� > 6"5D>7 CBC=C> &

<�? :& 1������ �&4& :������ 1& ������ 0���*��� ���� � ����� �� ������

�$�� (��� ���3 � ����� ��� � ����� 0���*��� /� ���� � S������

L������� 6"55"7 CD#=B �&

<C? �&R& A���� �&:& -���;�� 4��� ���� �� �� ���� � ��+������ �����

$������� ������� �� �� ��� 0�$�� �� �� '��� �� ����� �� ���

2�� (��� �� 6"55"7 ">�="##&

<B? �&R& A���� �&:& -���;�� '�� �0'88' �$$����� �� ���� � ��+����

�� ����� $������� �4� '������� ��� �� 0���*��� /� ���� � ���

��������� C 6�7 6"55B7 " "="C &

<�? �&T& 4���� '&�& '��� '&T& 4���� '�44@/3 � ��������� ���

��+������ ����� ����*��� ���� � �� ��� ����� ��� ������� ������� �4�

'������� ��� �� 0���*��� /� ���� � ��� ��������� " 6"7

6� "7&

<>? �&T& 4���� '&�& '��� T&'& A��� �8403 �� ��+������ ����� ������

����� ���� � ����� ����� �� ��� �������� ���������� �����%�� �����

� )��� ,������� �� ��� 0���*��� '������� B� 6" 7 6� 7 >##=

>D>&

<#? L& ����� �& ������� I� � � �$�� (��� ��� � ������ $��� � ��

���� �� ������� �� �� ��� 0������ ,/// ������ 4��������� ��

4��$���� ��������� S��� 6"55�7 C=" &

<D? �&�& 0���;�� A&�& 4��� ����� '��� ���$�����3 � �$�� (��� ��������

���� � �����*��;� ������� �� �� ��� "��� ,������� ���� 4���������

�� 0���*��� /� ���� � �� 6"55C7 B �=B"B&

<5? �& ������� S& 8������ I� � ������ ������� �� ��� �� ���� ������ �

�������$��� � �� ���� �� ������� �� �� ��� 5�� ,/// ������

4��������� �� 4��$���� ��������� S��� 6"55B7 >5=#5&

<" ? �& ���� �& ����� S& ��� 0���*��� �� � ���� ������� ��� ���)����

�4� 4��$�� � 0���� �5 6B7 6"55#7 C>>=B�#&

<""? �& '����� A& @�� ��� 4& R���� 0��������� ���� � �� ����������

$������� ,/// '0/ "D 6C7 6"55�7 � >=�"�&

<"�? A& @��� �& T����;�; �� �� �� $��� ��� ������� �� ���� � (� �� �����

���� ���M� ������ ������� �� �� ��� ,/// DB 6"55>7 " 5 =""�C&

<"C? �& 1 ����� '��� � 8�+������ ����� 0�����3 ������� �������� ���

'����� ��� ����9����� ���� �� ��� � &

<"B? 0& -�+ *���� :& 1��;����� -& R�����;� �& ������� �& :������ �

'��� ������ �� ����� �� (� �� ����� ������� ,/// '0/ "# 6>7 6"55"7

�5"=> C&

<"�? �&�& � ������ 4���; � ������ ��� ����� � ��� �� � ��� �� ������ �

��� � (� �� ����� ���� ���� � ���$��������� ��� � ����������

0$�� �� ,���� �� '��� � ��� '��� � '���� )��� ��� ������ ��

/������� 0���*��� 0����� �B 657 6� "7 BBC=B��&

<">? :& 1�������� �& ������;�� �������� ���� �3 ��� �* �� ������� ���

��������� ��� ����*��� ���� �� ������� �� �� ,00'�K5B� �����

"55B� 0������� 9��� ����� I0�� "55B� $$& " 5="�B&

<"#? 0& �������� �& ��GG�� I� � � ������� ���� ���� ��� ���� � �������

���� ��� ������ �� ������� �3 �& ����� 6/�&7� �����' �� 0������

'���� ��� �$$� ��� ���� L������������� ���������� "55 &

<"D? �&�& 4������ R&4& '� � ��$�� ��� ���� � ��� ���������� $�������

,/// 0���*��� ����� 6"55"7 >>=#B&

<"5? �& �������� �& � ����� ������ � ��*� ��� ��������� � �� ���

����������� S������ �� �4� C� 6"7 6"5D�7 "C#=">"&

<� ? �& A� L ����� �&4&1& �������� '��� � �)� �������� ��� $���������

'������ ��� 4��$���� 0� ���� CB 6"5DB7 DC="CC&

<�"? ,& �� �� $�� ������� ���� �� '������ ��� 4��$���� 0� ���� � 6"5D#7

�B"=�DB&

<��? �&@& 1�;��� S&9& ��*���� S&�& 1 ����� 4� ��� � ��� (� �� ���� �� $����

���� ��������� G� ������� .�*� ������� �� �� ��� "5�� ������ ��*�

,������� ���� 4��������� �� 0���� 6"5D>7&

<�C? /&S& 9��;��� �% ���� G � ����*��� ���� ���� ���)���� ,/// '0/

0/U"� 6"�7 6"5D>7 ""�D=""CD&

<�B? /&S& 9��;��� '�� ������� �� �� $����������� ����*��� ���� ����

���)��� �� ��� �� 4����� ��� ��� �� ��� �4� C" 6>7 6"5DD7 >>D=

>#�&

<��? �& ���� ��� 0&�& �*����� ����� � ��� ��(������ �� ����*��� ����

���� ���)��� $��$��� ��� ,/// '0/ 0/U"# 6>7 6"55"7 �>�=�D"&

<�>? �&0& ���� ��� 0&�& �*����� 4��� � � ���� ����������� �����$�� �

����*��� ���� �� ,/// '0/ "5 6#7 6"55C7 #B�=#B>&

<�#? �& ���� �& ����� '��� ���� ���)��� ������������ 0/S D 6"7 6"55C7

�"=C &

<�D? �& ���� �& ����� S& ��� I��������� � ����*��� ���� ���)���M��

�% ���� � ��� ����������� �$$������ �3 4& � ������� 2& 0���� ���

6/��&7� �������� �� �� A�$������� 0������ 8%���� I� ���� �

������ L�* T��;� "55�� $$& �#�=�5�&

<�5? �& ���� �% ���� � ���������� �� ������� .�* ����� ����*��� ����

���)��� �� ��� �� 0���*��� /� ���� � S������ " 657 6"55�7 "5B=

� B&

<C ? �& ���� � ������ ����$����� �� �� ����*��� ���� � �� ����� �� �����

����� S������ �� 0���*��� '��� �� 2�� (��� �� ��� ��� �� � � > 6"7

6"55>7 C=C"&

<C"? �& ���� �& ��� � ����� �� ����� ��� �������� �� � ����*��� ���� ��

'���� ��� ��$��� 4�0�'��55� �� 0����� �� 4��$�� � ��� ������

��� ��� 0� ������ 8%���� 1���;�� I� ���� �� 0�$������ "555&

<C�? �& ���� �& ��� 4�������� ��� �� ����� ��� �������� �� ������� �

����*��� ���� �� ������� �� �� - ��� ,/// 0�$�� �� ��

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7='BDD

Page 17: A methodology of testing high-level Petri nets

��0/K� � "�="# L������� � � ����)���)��� L�* ��% ���

I0�� � � $$& #=">&

<CC? S& @��; � 1& R����� � ���� .�* �� ����� $����� ���� � �������

,/// '������� �� �� 0���*��� /� ���� � 0/U5 6"5DC7 CC=BC&

<CB? 0&4& L������ 8� ��)� ��� ������� ���� �� ,/// '������� �� �� 0����

*��� /� ���� � 0/U" 6>7 6"5DB7 #5�=D C&

<C�? 0& ��$$�� /&S& 9��;��� 0����� � ����*��� ���� ���� �� � ���� .�*

������� ��� ,/// '0/ 0/U"" 6B7 6"5D�7 C>#=C#�&

<C>? �&:& -���;�� S&/& 9��;��� �� �$$� ����� ��� � �� ���� .�* ���� �

�� ��� �� ,/// '0/ 0/U"B 6" 7 6"5DD7 "BDC="B5D&

<C#? �& :��� ��� R& @���������� 0���� ����� � * �� � ������� ����

����� '������ ��� 4��$���� 0� ���� "C 6"5D"7 " 5="C>&

<CD? 4& R��� �& ��� � ������� ������ � ���� ����� ,������� �� ��� 0����

*��� '������� C# 6"7 6"55�7 �C=C &

<C5? 9& �� � � �3 /& L������� :& 4������ 6/��&7� 8� 0����� �� �� ����

L���� -����� ������ � ������� �� /���� ��EL���� �������� L�*

T��;� "5D�� $$& CB#=C#�&

<B ? �& ���� � ������ ����� � �� ��� ������� ����� �� ���*��� ����*���

���� ���)��� �� ��� �� ,/// '������� ��� �� 0���*��� /� ���� � ��

6B7 6"55>7 �BD=���&

<B"? �& ���� �& ��� � ����� �� ���� � � ������� ���� ����� ������� ��

�� ,������� ���� 4��������� �� 0���*���M'���� ��� ����� ��� ,-,�

9���� 4��$���� 4������ � � 1� + �� ����� �"=��� � � $$&

BBC=B� &

<B�? �& ��� � ������ ��(� � �� �� � ������ ��� $��� ���� ����� � �� �����

@������ L���� � 4��$���� 0� ���� " 5" 6"55>7 �"�=��5&

<BC? �& ���� 2�� ��� � ������ � ����� ���� � � (��� ������� ,00'�

� �� '���� ��� ��$��� 4�0�'�� �� �� 0����� �� 4��$�� � ���

�������� ��� 0� ������ 8%���� 1���;�� I� ���� �� IR� �$� � � �&

<BB? �& :�$��� '& 1���� ������ ���� � � �$�� (��� �� ����� ���

'���� ��� ��$��� '� DC�"#� I� ���� � �� �� G���� L�������

"5DC&

<B�? �&�& 9���*���� /���� � ������ � �$�� (��� ��� ��� �� �%$�� ����

��� ����� �� ���� � ����� 0/S S�� 6"55C7 �""=��B&

<B>? 0&A& 1���;��� 4&�&�& ������ �&9& ������� � ����� �� ������ ����

� ��)���� �� $��������� S������ �� ��� �4� C" 6"5DB7 �> =�>5&

45 -�� �5 4� 6 $ �������� � � ����)��� 2��� ����� 77 89 9: 7;�<7=' BD5