An incremental Petri Net-derived approach to modeling of flow and resources in service-oriented manufacturing systems

In order to overcome the myopia problem, routing strategies must be based on formal representations of flow that automatically account for modifications in the values of parameters of interest and in the model itself. This work addresses this problem and discusses how to automatically incorporate resources (e.g. workstations/ transportation devices/ storages) in a Petri Net-derived model of flow that is modifiable at runtime to reflect and influence the routing in a manufacturing line.

[1]  Corina Popescu.  Approach to Incremental Modelling of Web Services Orchestration - An Application to Deadlock-free Scheduling in Automated Systems , 2009 .

[2]  Luigi Piroddi,et al.  An Incremental Petri Net-Based Approach to the Modeling of Production Sequences in Manufacturing Systems , 2007, IEEE Transactions on Automation Science and Engineering.

[3]  Jose L. Martinez Lastra,et al.  Runtime Modeling of Flow for Dynamic Deadlock-free Scheduling in Service-oriented Factory Automation Systems , 2009 .

[4]  H.-M. Hanisch,et al.  Modeling of PLC behavior by means of timed net condition/event systems , 1997, 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97.

[5]  Yi Deng,et al.  Incremental modeling and verification of flexible manufacturing systems , 1999, J. Intell. Manuf..

[6]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[7]  H.-M. Hanisch,et al.  Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[8]  W.M.P. van der Aalst,et al.  Interorganizational workflows: An approach based on message sequence charts and petri nets , 1999 .

[9]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[10]  J.L.M. Lastra,et al.  Loosely-coupled Automation Systems using Device-level SOA , 2007, 2007 5th IEEE International Conference on Industrial Informatics.