Use of Coloured Petri Net models in planning, design, and simulation of intelligent wireless medical device networks for safe and flexible hospital capacity management

By Sloane Elliot B.   Gehlot Vijay  

International Journal of Networking and Virtual Organisations, Vol. 4, Iss. 2, 2007-05 ,pp. : 118-129

Inderscience Publishers

Access to resources Recommend Favorite

Hierarchical Petri net modelling of reconfigurable manufacturing systems with improved net rewriting systems

By Dai X.   Li J.   Meng Z.  

International Journal of Computer Integrated Manufacturing, Vol. 22, Iss. 2, 2009-02 ,pp. : 158-177

Taylor & Francis Ltd

Access to resources Recommend Favorite

A coloured Petri net model for automated storage and retrieval systems serviced by rail-guided vehicles: a control perspective

By Dotoli Mariagrazia   Fanti Maria Pia  

International Journal of Computer Integrated Manufacturing, Vol. 18, Iss. 2-3, 2005-03 ,pp. : 122-136

Taylor & Francis Ltd

Access to resources Recommend Favorite

Multi-steps diagnosis of discrete event systems with Petri net models

By Lefebvre Dimitri  

International Journal of Adaptive and Innovative Systems, Vol. 1, Iss. 2, 2010-03 ,pp. : 187-198

Inderscience Publishers

Access to resources Recommend Favorite

Coloured Petri net refinement specification and correctness proof with Coq

By Choppy Christine  

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 195-202

Springer Publishing Company

Access to resources Recommend Favorite