The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Modelling Formalisms for Green Transportation Systems
Abstract
Protection of environment implies the coordination of the local and regional authorities to implement actions for conservation of all natural resources in the actual context of globalisation. One of the most important direction for applying the above mentioned desiderates is a better planning of transportation, as we all know that globalisation implies an accelerated process of externalisation of ideas, know-how, products and labours. In this chapter, we consider discrete event systems (DES) modeled via a state space representation. The model objective is the avoidance of a given set of states, or equivalently the fact that certain predicates, specified in terms of states are always false. We address the state space controlled Petri Nets (PN) and a technique to reduce the complexity of these nets, by taking into account the fact that the complexity of the considered nets depends mainly on the representation of the control design, respectively on the forbidden sets of places. Our goal is to describe in an efficient way the forbidden sets of the modeled system, e.g. to describe in an efficient way the DES modeled with controlled Petri nets. An example from the railway systems illustrates this approach.
Related Content
|
Mukul Bhatnagar, Nitin Pathak.
© 2024.
16 pages.
|
|
Mitushi Singh, Mukul Bhatnagar.
© 2024.
32 pages.
|
|
Vikas Sharma, Sanjay Taneja, Kshitiz Jangir, Kirti Khanna.
© 2024.
15 pages.
|
|
Preet Kanwal.
© 2024.
17 pages.
|
|
Kapil Sharma, Yogesh Kumar, Rajiv Khosla, Sanjay Taneja.
© 2024.
16 pages.
|
|
Sanjeev Kumar, Mohammad Badruddoza Talukder, Firoj Kabir, Fahmida Kaiser.
© 2024.
15 pages.
|
|
K. K. Kishore Mishra, Swati Priya, Syed Sajid Hussain, Swati Gupta.
© 2024.
17 pages.
|
|
|