redes de petri - dsc.ufcg.edu.brabrantes/cursosanteriores/pn071/redelugartransicao.pdf©jorge césar...

21
©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

Upload: others

Post on 11-Mar-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

©Jorge César Abrantes de FigueiredoGMF/DSC/CEEI/UFCG

1

Redes de Petri

Redes de Petri Lugar/Transição

Page 2: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

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

� � � � � � # % & ( & % & % & , & � � . /0 2 4 6 8 : 2 < = 6 @ B D F H J H K H M N P R T V 0 YZ \ ^ ` a b ` d b f f f b ` j k lm n o q r s t n s u r w s x u r y m z n { } ~ m � �

� \ ^ � a b � d b f f f b � � k lm n o q r s t n s u r w s x u r y m u ~ } s � x �q �r m � �� � � Z � � � � � � � Z � lm n o q r s t n s u r w s x u r y m } ~ q r � �� � � � � � � lm n o } � n s �q �} r ¡ m � r �

Z £ � \ ¥ m Z � � §\ ¥ ©

ª # � ¬ # ­¬ ®# ¯ % & ° # � & % & % & , & � � . /0 2 4 6 ² 2 T ´µ ¶6 R · Y F ¹ » @ ¼( & % & % & , & � � . /0 2 4 6 ¾ : 2 < = 6 F @ B D F H J H K H M H · Á N P R T V 0 Y

Z \ ^ ` a b ` d b f f f b ` j k lm n o q r s t n s u r w s x u r y m z n { } ~ m � �� \ ^ � a b � d b f f f b � � k lm n o q r s t n s u r w s x u r y m u ~ } s � x �q �r m � �

� � � Z � � � � � � � Z � lm n o q r s t n s u r w s x u r y m } ~ q r � �� � � � � � � lm n o } � n s �q �} r ¡ m � r �Â Ä � Z � � � lm } o } ~ q } �q �} r x s x q x } z

Z £ � \ ¥ m Z � � §\ ¥ ©

F @ B D @ Ç · Á NÈ É 0 = 0 4 0 T Ê R É V 0 F D = 2 Ì 6 Í 0 É N É ¶6 R Ê 6 4 Î /0 4 µ Ð 6 4 6 V R É V 0 Ñ Ò & Ó & ° & Ô � ¯ � ¼È É 0 = 0 4 0 T Ê R É V 0 J D Ê Í 6 T É Ö ´µ ¶R 0 É N É ¶6 R Ê 6 4 Î /0 4 µ Ð 6 4 6 V R É V 0 � Ò & Ó & ° & Ô � ¯ � ¼

× 0 Ø 6 Ù Û J ¼Ü � \ ^ ` Þ Z à � ` b � � � � k lm r ä å æ ç è é ê ë ì ê í é y m � � m s u ~ } y } � y m � � ©

� Ü \ ^ ` Þ Z à � � b ` � � � k lm r ä é î ç è é ê ë ì ê í é y m � � � } lï y } � y m � � ©

× 0 Ø 6 ð Û F ¼Ü ` \ ^ � Þ � à � � b ` � � � k lm r ä å æ ç è é ê ë ì ê í é y m ` � m s u ~ } y } � y m ` � ©

` Ü \ ^ � Þ � à � ` b � � � � k lm r ä é î ç è é ê ë ì ê í é y m ` � � } lï y } � y m ` � ©

ó ô 0 4 < = R V 0 2 4 6 Í 0 V 0 V 0 õ 0 Ê Í Ö YZ � \ � Z b � b � b � b Â Ä �Z \ ^ ` a b ` d b ` ÷ b ` ø b ` ù k

� \ ^ � a b � d b � ÷ b � ø b � ù kú û ^ � ` a b � a � � � � a b ` d � � � � a b ` ÷ � � � ` � ü ý þ f � ` � d b � d � � � � d b ` ø � � � ` ø b � ÷ � � � � ÷ b ` d � �

� ` ÷ b � ø � � � ` ø b � ø � � � � ø b ` ù � � � ` ù b � ù � � � � ù b ` a � k� û ^ � � ` a b � a � � þ � � � � � a b ` d � � þ � � � � � a b ` ÷ � � ü � � � � ` d b � d � � þ � � � � � d b ` ø � � þ � �

� � ` ø b � ÷ � � þ � � � � � ÷ b ` d � � þ � � � � ` ÷ b � ø � � ü � � � � ` ø b � ø � � þ � � � � � ø b ` ù � � þ � � � � ` ù b � ù � �þ � � � � � ù b ` a � � þ � k

Â Ä \ ^ � ` a b þ � b � ` d b � b � ` ÷ b � b � ` ø b � b � ` ù b � k

Page 3: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

2

p1

t1

p2 p3

2

t3 t2 t4 t5

p5p4

� � � � � � � � � � � � � � � � � � � �� � " $ & � ) * " - / 1 3 5 7 5 3 � � 5 3 � � : ; = > ? @ � B

C D F G H J G L F N G O L F Q R T V J X Y Z R [ \] D F G H J G L F N G O L F Q R G L Z Y G [ O _D `F R [ \

C a b c C f ] h j l � m n m p m r r r s Y t V O D Y _D `Y F Q R O G D O Q �R G D O Y t Y Z Y w Z R G L R \C � � x b c C f ] h j l � m n m p m r r r s Y t V O D Y _D `Y F Q R O G D O Q �R G D O Y t Y Z Y L Z {Y [ \C } ] � � R C � ] �� � �

� ) > @ � � � � � � ) � � � � ? � " @ > ) > � � � � � > � � � �

3 � � ) > @ � � � � � � ) � � � � ? � " @ > ) > � � " " � � � � � � �

3 � � : ) > @ � � � � � � ) � � � � ? � " @ > ) > � � " " � � � � � � �

Page 4: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

� �

� �

� �

� �� �

� �������

�����

� �����

� � � �

� �

� �

� �� �

� � � � �������

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

� �����

� � � � � �

� �

� �

� �� �

� � � � �������

� � � � �

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

� �����

� � � � � � � � � � � � � � � � � � � �� � � � � � # � % � �

� ) + , . 0 2 3 4 5 6 7 83 9: 4 = ? @ : C . : 5 F 7 83 9: 4 0 F C H: " $ % ' ) ' + $ . $ 0 2 4 67 9 $ + ' ) " 6$ ; 7 ) < F 0 3 : 6 :L N O : . 6 0 0 5 C . : 6 : � 6 0 3 4 5 C H0 @ V 0 L 4 @ 0 5 4 F > + � Y = ? 3 Z : F [ 4 5 6 0 > + � Y = H0 4V 0 F 4 6 4 : . 3 4 6 0 � V : . : )

� ) @ : C . : 5 F 7 83 9: 4 Z : ` 7 L 7 C : 6 : V 4 6 0 4 N 5 9: 4 6 7 F V : . : . + 4 N O : C 7 L Z : . = )

� ) + , 4 F 2 3 4 5 6 7 83 9: 4 = ? A 4 6 7 F V : . : . [ > + � Y = ? 3 Z : F F 9: 4 . 0 @ 4 � 7 6 : F 6 0 3 : 6 : 0 5 C . : 6 :� 6 0 0 > + Y � = ? 3 Z : F F 9: 4 : 3 . 0 F 3 0 5 C : 6 : F : 3 : 6 : F : HC 6 : � 6 0 [ 4 5 6 0 > + Y � =

H0 4 V 0 F 4 6 4 : . 3 4 6 0 V : . : � )

A F F 0 O N 7 5 C 0 F 5 4 C : 83 94 0 F F 9: 4 N C 7 L 7 � : 6 : F ?

� E + F F 7 O 5 7 ? 3 : 67 9 $ + ' ) " 6$ ; 7 ) L $ N $ O Q $ R Q S$ 2 � E� E + F � E U V F 7 O 5 7 ? 3 : � E W O 2 . 4 Z � E U V $ + O $ ; 67 _ . 7

` � E + F F 7 O 5 7 ? 3 : L S$ 2 67 9 $ + ' ) " 6$ ; 7 ) L $ N $ O Q $ R Q S$ 2 � E )

Page 5: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

2 2

p1

t1

p2 p3

2

t3 t2 t4 t5

p5p4

p1

t1

p2 p3

2

t3 t2 t4 t5

p5p4

2 2

p1

t1

p2 p3

2

t3 t2 t4 t5

p5p4

p1

t1

p2 p3

2

t3 t2 t4 t5

p5p4

t1

t2

t3

t4

t5

Page 6: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

� � � � � � � � � � �� � � � � � � � � �� � � � � � � ! � � � � ! % & � � & ! * � % � % + ! % % �� � � . %

� � � 2 � 42 5! � % � + � � & . � * � : < = > � � 2 ! � ! & ! * ! % ! % + ! % % �� � � . % * . % + � � ! % � + � � & . �

* � 2 � * � � � � 2 � 42 5� ! F

(1,0,0,0,0)

(0,1,2,0,0)

(0,0,2,1,0)

(0,0,0,0,1)

t1

t2t3

t4

t5

� � � H � �� J� � � � L � �� � � � & � � P % . 42 5� ! % � � R � � � � * � � P & � � * � F

t p

� � � H � �� J� � H � � � � � V � � �� � � � & � � P % . 42 5� ! % � � R � � � � * � % � �� * � F

p t

� V L � Y � �� � �� � � + � � � ! � � � * ! + ! � � � R � � � � ^ � � � � & � � P % . 42 5� ! a & � R � � � ^ �� =� ! � � % � ! & � � + ! = � P & � � * � � % � �

� * � * � a F

p t

c � � � � � e � L � � f V � � �� � � � h � � � � P 5� ! 2 ! P & �� � � � & ! i R � 42 ! % F

Page 7: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

� � � � � � � � � � � � � � �� � � �� � � � ! � � � � � � # % & % ' % ' � ) * % ' # �� � + � ' % '� - . # �� ) . % ' 0

t1 t2

t3

t4

p2

p3

p4

p1

� 1 � 1 4 5 � 1 � 7 � 8 : 8 5 � 1 � 1 � 1 4 5 � 1 � 7 � 5 8 5 � 1

� � � � � � � � � � � � ? � A � ? � � � � � � � � � � �� � � � � F � + H � J K M O M Q M S M � M U V W Y % - & � Z

[ ] ^ ` a b ` d b e e e b ` g h ij l m n o p q l p r o t p u r o x j y l z | ~ j � �� ] ^ � a b � d b e e e b � � h ij l m n o p q l p r o t p u r o x j r ~ | p � u �n �o j � �

� � � [ � � � � � � � [ � ij l m n o p q l p r o t p u r o x j | ~ n o � �� � � � � � � ij l m | � l p �n �| o   j � o �� � [ � � � � ij l m | � l p �n �| o n |   | n u x | x j �¢ £ � [ � � � ij | m | ~ n | �n �| o u p u n u | y �[ ¤ � ] ¥ j [ � � ¦] ¥ ¨

� ) � & � ' & � * � + � * . & � & � � - . # � � + H . * � F ' � � � � � � � � � ª � «? ¬� � � ª � � � � 0

� 0 J ! ) � F * % - & . ­* ®� % Z W � � � # ) � - ' . ­* ®� % ¯ � ' # �� ° � ± . H . # � & � ' � * � & � H � ³ � ) & � � - # ) � & �´ & � ¯ * % - # �� � Y + � H % � � - % ' Y J ´ M ¯ W � * ° � ' Y % - & � J ´ M ¯ W �� % + � ' % & % � ) * % & �´ + � ) � ¯ � ' � * � & � H � ³ � ) & � ' � �� & � ´ & � ¯ * % - # �� � Y - % � �� ½ . � % Y � J ´ W � J ¯ M ´ W

� * ° � ' Y % - & � � J ´ W �� � * � + � * . & � & � & % H � ³ � ) ´ � J ¯ M ´ W �� % + � ' % & % � ) * % � � �� � . & � ¯ + � ) � ´ 0

� ¿ � � � À � � � � � � ª � � À � «? ¬� � A � �  � � � À A ¿ � À � � � �

� 0 ! � ) � * � & � H � ³ � ) ´ Y � * ) � ' * � - # � F ' � � � H � ³ � ) * % � + H � � � - # � ) ´ � * % � � � ) * � ­* ®� %. - . * . � H & � & � + % ) U �V J ´ � W à � J ´ W � U V J ´ W 0

� 0 Ä - # ) � * � & � # ) � - ' . ­* ®� % ¯ � * � & � H � ³ � ) * % � + H � � � - # � ) ´ � Y & � � - � F ' � � � - % � %� ) * % J ¯ M ´ � W % � J ´ � M ¯ W Y % - & � J ¯ M ´ � W à J ´ M ¯ W � J ´ � M ¯ W à J ¯ M ´ W J & � ' & � � � � �à � W 0

Page 8: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

t1 p1k=2

2

t3

k = 42

2

t2

p3

k = 1

p2

t4

���

� �� �� ����

���p1’

2

2

2

p2’

p3’t1 p1 t2

p3 t4

p22

2

2

t3

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

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

� � � � � � � � �� �� � � " �� � � � � �� �� � � � � $ � � ' ( � * � � . / � � 0 ( / ' � 3 � � / � � $3 �� � ( �* � * ( / $ � � � � 3 � ' � � / 9 � � � � � . � � � " =

& > @ B � . C � 3 & > � . C �� � � � H 3 ' � * � ' � * � / � / $ � / / � � � ( / � � � � � �� �� � / � � O� � �� �� � � ( / � $ � � ' ( � * � � . =

' � ' � � � ( � � / � � " Q & > � . C =

S $ � � T � � � � * � � � � � �� � T ( � ( * � * � �� * � � ( * � � � � X � � T � � � � � � � / � / Z � � � ( / ' � [ �� � ' � � 3 / ' � � � � $ 3 ' � � ( � � � =

(

Page 9: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

� � � � � � �� �� �

� � � � � � � � � � � � � �� � � � � � � � � � � � � � � � � � & )& * � � & - )& � � � �/ 0 � 1 / 3 4 6 / 1 4 � <

� � � � � �� � � � � � � � � � � & � � � � � � � � � � � C � � � � � � � - � � � � � � �� � � � � G � � � � � � � � <

� � � � � �� � � � � � � � � � / 1 4 � � 6 � / 0 � 1 / 3 4 <

� � � � � �� � � � � � � � � � �� � � � � � � � � <

� � � � � � � � �

� Q & � - & � � � � � � � � � & � � � � � � � & � � - � � � & � � � ��� - & � � � W � � � � � � � � <

� � � � � �� � � � � � � � � � � � � � � � � � G � � & )& * � � � - � � � � � � � � � �/ 3 [ ] � � � � � � �� � � � � � � � � � � � � � � � � � � - � � )& * � � � � � � [ � � � � - � � � � � � � � � �� �� - & � � � � � � � � � � <

����

����

����

����

processo a processo b

p1

t1

p2

t2

p3

t3

p4

p5

p6

t4

p7

t5

p8

t6

Page 10: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

t1

t2

t3

p1

p2

p3

2

M1

t1

t1

t2

t3

p1

p2

p3

2

M0

t2

t1

t2

t3

p1

p2

p3

2

M2

t1

t2

t3

p1

p2

p3

2

M3

t1

t3

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

� � � � � " � � � � � � � � � � � � � �� � � ' � � � �� � � '( * � + ( - . � � ' � � � ( + � � 4

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

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

� � � 4

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

� � � � � � �� � ( * � + ( - . � " � � � � ( � * � + ( . � � ' � � � ��� ( � C � D � ' � � � � � + C � D � ' � � � � � G � � � ( � . 4

� � � � � � �� ��

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

� � � 4

� �

Page 11: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

� �� ���

����

p1t2

t4

p2 t5t3

p3t1

� �� �� �� �p1

t1p3

p2

t2

� �� ���

p2t2

p3t3

p4

t1p1

t4p5

p6t5

t6

� �

Page 12: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

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

� � � � � � � �

� � � � � � � � "� # % � ( � � � � � + , - � , 0 1 2 � �� �

� 3 � 2 � � � � 6 � # � � 9 � � % � ( � � � < # � � � � < � � � � � ( � @ � ( � � � � �( �� � � �� � � � < � # � � � 6 1 2 9 3

� 3 � � � � � � 6 � ( � � � � � � # ( < # � � � � � @ � � � � � � � < � �� � � @ 9 � � % < # � � � � < � � < � @ # � � � # � ( � � � � � � � � @ K ( � � � � � �( �� � � � � � � 6 1 2 9 3

� 3 � � � � � � � � O � � � # ( � � � � # < # � � � # � � ( � @ � ( � O % < # � � � � < � � < � @ # � � � # � � � � � � � � � � @ K ( � � � � � �( �� � � � � � � � < � # � � � 6 1 2 9 3

T 3 � � � � � � � � % � < � � � � � � � � � � � � � � � � � @ K ( � � � � � �( �� � � � � � � � < � #� � � 6 1 2 9 3

X 3 � � � � � � 6 � � � 9 � � % �� � � � � � � � � � � � � � � � � � "� # 1 � � � 6 1 2 9 3

� � � [ � � , 0 1 2 � �� � � � � � � � � � # � � � � � � ( � � � � � � � "# � � # � � � � � � � � � O� - � ^ � ^ � ^ � ^ T 3

� � � � � � � � "� # �� � � � � � � � � � � � � � � � � � � � @ � �� � � � � � � � � � � "� # �� � 6 �

� 9 � � � � O � - � ^ � ^ � 3

! !! !

##

t1

p1

p2

p3

t3

t2

t0

� � � � � � � � � "� # 1 �� � c � � � � � � � � � � "� # < # � # � � � � � c ( � � � � � � � "� # # � � # � �� � � @ � < �# � 1 3

� � � � � � � � � [ � � + , - � , 0 1 2 � �� � � � g @ # � ( � # O � � � � � c ( � � � � � � � "� #� @ � � � � �� � � @ � < � � � � 1 2 # ( � � � � � � � "� # < # � # 3

� �

Page 13: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

����p1

t1t3

p3

t2

p2

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

� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � " � %" '� � � � � ( � * � � - � � � � " � 0 %" � � � � � � � � � 4 � � � 7

� � � � � � " � %" '� � � � 9 � � � � � � � � � � � � � � : � � ( ; � � � � � � � � * � � � � � � � � � �

� � � " � %" '� � � � � ( � * � � � � � " � 0 %" � � � � � � � � � 4 � � � 7

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

����

t3

p1

23

t1 t2

23

p3

333

p2 p4

3

t3(3,1,0,4) (0,4,3,1)

t2(1,3,1,3)

(3,1,3,1)t1

t1

t2

t3t1

t2

(2,2,2,2)

(4,0,1,3) (1,3,4,0)

� �

Page 14: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

����p1

p2

t1 t2

p3

t3

p4

t4

p1

p2

t1 t2

� ��

� �

Page 15: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

����

p2 p3

p4 p5

t2

t1

t3

t4

p1

��p1

p2

t1

t2

p3

t3

t4 t5

� �

Page 16: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

� �� � ��p1

p2 p3

t1

t2 t3

t4

p4 p5

� �� ���

p1

p2

p3

t2

t3

t4p4

t1

� �

Page 17: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

� � � � � � � � �

� � � � � � � � � � � � � � � � � � � � � � � � � � � " # % " ( � * + ,� � / � ,� � � 1 2 � � 3 � 2 � �� � � � � � � � � � � � � � � % � * + � � 1 � � � � � % ; + � � % ; + @ � � � � � � � ; � � � � � � D

� � E � � F G � I � G J � J � � � � � � I F J

� � � � � � � � " ,� � 2 � � � � � � � 1 � � � � � ��

� � 2 � � 3 � 2 � � � � � � � � � � � � � � � � � 1 ��

� �@ � � � " D

� � � � � � ,� � � @ 1 � � � � � � � � � � � � � 1 ,� � � 1 2 � � � � 1 � � � � � � � � � � � ,� � � � � P ,� � � 1 �@ � � � � � � � � � � 1 � � � � � � � � � � � D

� � � � � � ,� � 2 � � � � � � � 1 � � � � � 1 � � � � � � � 2 � � 1 � ,� 1 � � � � � � � @ � � � � � � 1 � � � �� � � � � � � � � � � � 1 � � � � � D

� � � � � � ,� � � @ � � � � �� � 2 � � 3 � 2 � � � � � � � � � � � � � * � � � � 2 � � �� �� � � � � �

� � 2 @ � � � � [ � @ � � � � � � � � * [ � � 1 � � � � � � 1 � � � � � � � � 2 � � � � � � � � � � � � � � � � � � � � �� � � D

� � � � � � ,� @ � � � � 1 � � � � � � @ � � � � � � � 2 � � 3 � 2 � � � � � � � � � � � � � * � � � �2 � � �� �� � � � � � � � 2 @ � � � 2 � [ � @ � � � � � � � � * [ � � 1 � � � � 1 P � � � � � � � 2 � � � � � � � � �

� � � � � � � � � � � � � � � D

� �

Page 18: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

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

� � � � � � � � � � � � � � � � � � �� � � � � � " � # � � % � � ' � # � � � � * , � � � � % � ." 0� � , � � � � " � � 2 � � " 4 � " � � � � � % ." 0� � � " � , � � � � ." 0� � :

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

� ; 4 % , � � ." 0� � � � � � � � � � , � � " � ." 0� � � 2 " � 4 ." �� � � �

� � , � � � � � � � � � � � � � � % 4 � � � �� � � �� B � 2 � � 0� � � � � � � � �

� CD E F G H I K H MK ND O E

� H P � F R S

� I K D F T P E W H I D T O X G H Z I H [ E P MK NH D

� ] � � � � � 2 � , � � � � � � �� � � � � � � 4 � 4 � � �

� � � � ' � � � ^ � � � �

� � � _ ` � a ! _ c # ` # # & _ d e a ` f (g *# _ , # /� ` 0 _ ` h , h & _ 2 h ` a f ` #3 # e e _ 4 6 � D Z X i O H G H I K H MK NH D P [ P K P H i R S T O I H P � O E P [ H i P � O 8 H K D G D : ; = > n3 # e e _ @ 6 C [ D X H [ Z D O F P E Z P I O G G H I K H MK ND O E : ; = > H t u H MK H D E O v X P [ Z O w

@ J 4 6 C E K D i M H X G H [ D N H G H I K H MK NH D R n

@ J @ 6 P O R u D I P T �O [ Z P K H H D X Z I H G H I K H MK NH D [ D K H G P [ M D T H I H P � H Z CO R t E P [ H i P � O RK D G = S T U ; O N CH W H I H X G H D X Z I H G H I K H MK NH D n

@ J W 6 P O [ O [ M X G H Z I H [ E P MK NH D O E Z P N O I M H Y P i P Z H T H O G R t E P [ H i P � O R K D G [ ] n

@ J ^ 6 C [ D X H [ Z D O F P E Z P I O G Z I H [ E P MK ND O E M H Y P i P Z H T H E O G R t W H I H K H T H Z I H [ E P MK NH D M H 8Y P i P Z H T H | O G R u H MK H D E O v X P [ Z O w

@ J ^ J 4 6 b Y Z O [ M H H G H I K H MK NH D R e D X O I O E X i Z H T D T P E W H I D T O | O G R n@ J ^ J @ 6 P O [ D K H G P [ M D T H I H P � H Z CO R O F P E Z P I X G H G H I K H MK NH D R e e Z H i D X O

R e � � � g R e e � � � W H I H K H T H i X v H I � O R e �F R e e t O [ Z NH D E X Y E Z P Z X H R e � � �W D I h W H I H K H T H � Z H i D X O R e � � � i R e e � � � n

@ J ^ J W 6 k [ Z I D T X � H R e K D G D X G [ CD t T O E O [ M O X G H I K D K D G I CD Z X i D | t T O RW H I H R e O I D Z X i O R e K D G : ; = ; n

� �

Page 19: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

����

t2

t3

t0

p2

p1

p3

t1

0

1 2

4

velho

velho

t1t3

t3t1

t2

M = (1 0 0 )

5

fim

M = (0 0 1 )

M = (1 0 )w

M = (1 0 )w

M = (0 1 )w

M = (0 1 )w3

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

� � � � � � " $ % ' ) * , � � � � � . 0 � 2 � � % ' ) * � 0 � � � . � � � � 0 � � �

0 2 � � � 9 � 0 = � � � *� � � , � 0 � � 0 *� � � ? �

� � � � � � " $ % ' ) . * � D � � � � � � 0 � � � 0 � � � � � � � � � 9 � 0 � �

� *� � � , � � � � � 0 *� � � ? �

� � � � � � 0 � � I9 2 � J * � � � � � � � � 0 � � , 0 2 � � � 9 9 � � � � *� � � , � � � � � 9 � � ? �

� �

Page 20: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

� � � � � �� � � � � �� � � � � � � � � � � � � � � � � � � � ! � " � $ � � ' ) � �! � � � � � ' � � � � � �

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

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

�� � � � � � � � � � � � � �� � 6 � � � � � �

� 7 � � � ' ) � � � � � � � 7 � � � � � ) � � � � � � � �� � � ! � � � � � ! 6 � � � ' � � � � � ! ) � � � C $ � � ��� � � ! � � � � � � � � �� � 6 � � � � � �

� �� ���

� �� ���

2 2

t2p1 p2

p3

t4

t1 t3

t1

t2

p1

p2

t4

p3

t3

� �

Page 21: Redes de Petri - dsc.ufcg.edu.brabrantes/CursosAnteriores/PN071/RedeLugarTransicao.pdf©Jorge César Abrantes de Figueiredo GMF/DSC/CEEI/UFCG 1 Redes de Petri Redes de Petri Lugar/Transição

M = (1 0 0 )0

1 2

t1

velhovelho

velho

0M = (1 0 )

M = (0 1 )M = (1 0 )

M = (0 1 ) 12

t2

t3t4

M = (1 0 )ω

ω

ω

ω

ω

t1

1 0 ω 0 1 ω

1 0 0

t1

t3

t2

t4

t1

� �