A methodology of testing high-level Petri nets
Transcript of A methodology of testing high-level Petri nets
![Page 1: A methodology of testing high-level Petri nets](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/1.jpg)
� ��������� �� ���� � � ������� ���� ����
��� ������� ����� ���
������� �� ����� � � � ������������ ���� ���� ������ ������� � ��������� �������� ����� ������ ��� �!� �"������� �� ������ ���� ��� #������ $ ��� ���� �� � ��������� � �������� !���� ������ #% ��&''� ��(
���� ��� �� �� � ! ��� ��� "# ����� � �! ����$��� �� ����� � �
��������
���� ���� ���� ���� �%���� ��� ���� � ��� ������ � ��� ����� � �� ���������� ��� � ��� ����� ������& '�� ��� (��� �� ��� ��� ��� ��
�� ���� ���� ��� �� $��� ����� �$������� � ��� ������$���� �� ���������� ��� � ��� ����� ������& �� � ���$������ �� ������ ����� �
����� )���� ���� � ��� ���� $����� �� �� ������ �� � ������ � ����� ������ ��� � ��� �� �$$�& �� �$�� $������ � ��* �� ���� ���� ����
������� ����� ������ ��� ��� ��(� ����& �� �$$����� �� ����� �� � $������ � �� ������$ ���� �� ��� � �� ���� ���� ���)��� ��� �� ��������
��+��� ��� ��� ���� ����� ��� �� �������� ��(� ����� ���� ������� ����& ,� �� � $�$��� *� $������ � ��������� �� ���� � � ������� ����
���� ����� �� ��� ������ ����� �� ���� � ���������� ����*��� ������& -��� �$�� �� ���� � ������ �� ��� ����� ����� *� �� ������ ������
�� ����� ���� �� ����� � ����� ����� ���� �� .�*��� ����� ���� � ��� �$�� (��� ����� ����� ���� �& -�� ���� ������� � ��� �� ������� ��
������� ��� ������ ���� � ������� ��� � ��� �� ������� �� ��� � �� ������� ���� ���)��� ��� ��(���& '�� ������$� �� ����� ���� $� ���
�%����� �� ����� ���� $� ���� ��� $��$���� ���� � ������� ��� ������� ���� ����� ���� ��� ������� $�����& � � � ���� ���� �
/���� �� 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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/2.jpg)
� ������ �� ���� �� ��� � �� ���������� ���� � �� ����������
$������ *�� $��$����& '�� �� ��� � *��� ��(��� �� ���
��� � �� ���������� ��$��& � ���������� ��$� � � � ����
��� ��$� *���� ����� ��$������ ���������� ������ ���
���� ��$������ ����� ����� � ���& �� ��� ���� ����������
����� ( �� � ��$������� ���� ��� �%���� �� �� ��� $����� ���
$������ � ����� ���� ����� ( �� ����� �& � ���������� �����
� � ������ �� ��� ������� ��� �� ������� ����� � ��� .�*
��$� �� ��� ���������� ���;� �� ��� $�����& '�� ��������
�� ��� �� � ��� � ������ � ��� ���*�� ���� ��*��� �� ����
��� *� �� ��)� ��� ���� �� ���)���� ���� �� � ����������
$����� ������ ����� ��� $���� � ��� ���������� ��$�&
,� �������� ��� ���*����*��*��������� �� ��� ��� *� ��
��)� ��� ���� �� ���)���� ���� ������ ����� ��� ���������
$���� 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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/3.jpg)
� �*& '���� ��� ��� ��$�������� �� � ������� � ���� �
���� � ��� �� (� � ��)������ ���� ���� ��� � ������ �
����� � �� ��)������ ����� � ��� ���� ������� �����)�����!
��� 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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/4.jpg)
� ��%��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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/5.jpg)
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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/6.jpg)
)���� � ���� ��� ��� �� ���� ����� ��� 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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/7.jpg)
'�� �� ������ ������ �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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/8.jpg)
����� � �� ��)������ ������� �� �;�$� �����*��� �� �;�$�� �;�$�� ������*�� �����*��� ��� ������*�� � �;�$�& '����� �� ���� ��� ������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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/9.jpg)
�!!� � #�� ��� �� �� � ��� ��� ��� ����� ������ �����*
��� �������� �+���� ��� �*�� ���� �� �� ���*� ��� ��*
��� ����� �������� �������� 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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/10.jpg)
,�� ������ � ����� �� ��� ��� $��$���
�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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/11.jpg)
@�� . �� � ������� �� �� ���� �%���� ���& . � �� � �� ��� ��
��� ����� ��� ����� �������� �� ��� ��� � ��� ��� ���� ��� �����
����� � ��� ��"� ���� ����� � �� ����� ��� �%���� �� � � . ����
���� � ������ ��� ����� ����� � ��� &�& ����� � 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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/12.jpg)
��$$ ��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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/13.jpg)
������ � ����� �� �
'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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/14.jpg)
��� (� �� �� �%���� �� �& ,� � ������ � ���� ?�) ���� � �
����� ��� ��;��� � "�@� ��" ���� ���� 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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/15.jpg)
��$� ���� �� ���� ���� ��� ����� � �� ���� � (��� �� �����
���� � .& '��������� � 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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/16.jpg)
��*����� ����� ��� ������� � � (���� � ���������� ����� �
��� ����� �������� ��� �������� ���*��� ��� *��; ��� ���
����� *��;�& - ���� �� � ������� � 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](https://reader030.fdocuments.net/reader030/viewer/2022020515/5750231f1a28ab877ea84c51/html5/thumbnails/17.jpg)
��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