TASE 2008 - PDF Preprint Papers

TASE 2008 Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed TASE-2008 Paper

click to vote

TASE
2008
IEEE

225views Software Engineering» more TASE 2008»

Modeling and Supervisory Control of Railway Networks Using Petri Nets

14 years 10 days ago

Download www.diee.unica.it

In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...

Alessandro Giua, Carla Seatzu

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	225	Modeling and Supervisory Control of Railway Networks Using Petri Nets	claim
2	217	Automated Planning and Optimization of Lumber Production Using Machine Vision and Computed Tomography	claim
3	210	Mechanism Design for Single Leader Stackelberg Problems and Application to Procurement Auction Design	claim
4	201	An Intelligent Online Monitoring and Diagnostic System for Manufacturing Automation	claim
5	172	Group Elevator Scheduling With Advance Information for Normal and Emergency Modes	claim
6	171	An Empirical Study of Maintainability in Aspect-Oriented System Evolution Using Coupling Metrics	claim
7	159	Vision-Based Online Process Control in Manufacturing Applications	claim
8	158	Randomized Optimal Design of Parallel Manipulators	claim
9	152	An Extension to Pointer Logic for Verification	claim
10	148	Anti-Swinging Input Shaping Control of an Automatic Construction Crane	claim
11	140	Integrated Supervisory and Operational Control of a Warehouse With a Matrix-Based Approach	claim
12	134	Steady-State Throughput and Scheduling Analysis of Multicluster Tools: A Decomposition Approach	claim
13	133	Design of Stochastic Distribution Networks Using Lagrangian Relaxation	claim
14	129	Perspectives in Probabilistic Verification	claim
15	126	Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles	claim
16	124	New Hybrid Optimization Algorithms for Machine Scheduling Problems	claim
17	123	PDL over Accelerated Labeled Transition Systems	claim
18	114	An Optimization-Based Approach for Design Project Scheduling	claim
19	114	On Clamping Planning in Workpiece-Fixture Systems	claim
20	111	Reasoning about Channel Passing in Choreography	claim
21	106	New Solution Approaches to the General Single- Machine Earliness-Tardiness Problem	claim
22	102	Optimal Vibratory Stick-Slip Transport	claim
23	101	Compensation of Scanner Creep and Hysteresis for AFM Nanomanipulation	claim
24	100	A Fundamental Permission Interpretation for Ownership Types	claim
25	100	Optimization of Joint Replacement Policies for Multipart Systems by a Rollout Framework	claim
26	99	Stochastic Modeling of an Automated Guided Vehicle System With One Vehicle and a Closed-Loop Path	claim
27	96	A Relational Model for Confined Separation Logic	claim
28	93	ProB gets Nauty: Effective Symmetry Reduction for B and Z Models	claim
29	93	Bounded Model Checking of Compositional Processes	claim
30	93	Sensor Selection in Arbitrary Dimensions	claim
31	88	Lean Buffering in Serial Production Lines With Nonidentical Exponential Machines	claim
32	81	Verifying BPEL-Like Programs with Hoare Logic	claim
33	76	Structure and Interpretation of Computer Programs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers