This chapter discusses the Place Nets (PN) in manufacturing systems modelling. It presents the basics of place/transition nets (P/T), which is the simplest logic framework among the various PN modelling methodologies. In the literature, two main classes of PNs with time have been defined: timed Petri nets (TdPNs) and time Petri nets (TPNs). The chapter summarizes the basics of the timed extension of P/T nets, showing how an enhanced framework may effectively be employed in manufacturing. Since the P/T net model of a manufacturing system typically suffers from the state explosion problem, two approaches have been proposed to cope the problem: Reduction techniques, allowing to simplify the computational effort of analysing large and complex P/T nets, and Synthesis methods, which construct nets systematically such that the desired properties are guaranteed without analysis in the final nets. Reduction methods classified into: place transformations, fusion of transitions and addition of nets.

Modelling Manufacturing Systems with Place/Transition Nets and Timed Petri Nets

Mariagrazia Dotoli;
2014

Abstract

This chapter discusses the Place Nets (PN) in manufacturing systems modelling. It presents the basics of place/transition nets (P/T), which is the simplest logic framework among the various PN modelling methodologies. In the literature, two main classes of PNs with time have been defined: timed Petri nets (TdPNs) and time Petri nets (TPNs). The chapter summarizes the basics of the timed extension of P/T nets, showing how an enhanced framework may effectively be employed in manufacturing. Since the P/T net model of a manufacturing system typically suffers from the state explosion problem, two approaches have been proposed to cope the problem: Reduction techniques, allowing to simplify the computational effort of analysing large and complex P/T nets, and Synthesis methods, which construct nets systematically such that the desired properties are guaranteed without analysis in the final nets. Reduction methods classified into: place transformations, fusion of transitions and addition of nets.
Formal Methods in Manufacturing
9781466561557
CRC Press
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11589/12707
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact