%0 Conference Paper %1 basile1999specification %A Basile, F. %A Chiacchio, P. %A Vittorini, V. %A Mazzocca, N. %B Software Engineering for Parallel and Distributed Systems, 1999. Proceedings. International Symposium on %D 1999 %K modeling systems %P 110-123 %R 10.1109/PDSE.1999.779743 %T Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks %U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=779743 %X Deals with the definition of a general approach to the modeling and the analysis of flexible manufacturing systems (FMSs). It puts together a trace-based formal specification method and a compositional Petri nets (PN) approach with predefined building blocks, leading to a unified framework whose goals are to cope with the complexity of the FMSs behaviours and constraints, and provide a practical engineering means to translate behaviours into PN libraries. The P-invariants of the resulting model are used to obtain a reduced net of the system which points out the resources availability rather than the behaviours of the system components

@inproceedings{basile1999specification, abstract = {Deals with the definition of a general approach to the modeling and the analysis of flexible manufacturing systems (FMSs). It puts together a trace-based formal specification method and a compositional Petri nets (PN) approach with predefined building blocks, leading to a unified framework whose goals are to cope with the complexity of the FMSs behaviours and constraints, and provide a practical engineering means to translate behaviours into PN libraries. The P-invariants of the resulting model are used to obtain a reduced net of the system which points out the resources availability rather than the behaviours of the system components}, added-at = {2014-09-11T09:08:40.000+0200}, author = {Basile, F. and Chiacchio, P. and Vittorini, V. and Mazzocca, N.}, biburl = {https://www.bibsonomy.org/bibtex/2db33e105df7bbbff8c774e710f9e956f/avail_map_stud}, booktitle = {Software Engineering for Parallel and Distributed Systems, 1999. Proceedings. International Symposium on}, description = {IEEE Xplore Abstract - Specification and modeling of flexible manufacturing systems using behaviours and Petri nets buildin...}, doi = {10.1109/PDSE.1999.779743}, interhash = {a84b3510c37fbe700bc57ecdc7fd8b63}, intrahash = {db33e105df7bbbff8c774e710f9e956f}, keywords = {modeling systems}, pages = {110-123}, timestamp = {2014-09-11T09:08:40.000+0200}, title = {Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=779743}, year = 1999 }