Join Us
Sign In
My Subscriptions
Magazines
Journals
Video Library
Conference Proceedings
Individual CSDL Subscriptions
Institutional CSDL Subscriptions
Resources

IEEE.org
Help

About Us
Career Center
Cart
Create Account
Sign In

My Subscriptions

Conference Cover Image

Previous
Next
Table of Contents

Home
Proceedings
PNPM
PNPM 1999

Petri Nets and Performance Models, IEEE International Workshop on

On Non-Decidability of Reachability for Timed-Arc Petri Nets

Year: 1999, Pages: 188

DOI Bookmark: 10.1109/PNPM.1999.796565

Authors

Valentin Valero Ruiz, Universidad de Castilla-La Mancha
Fernando Cuartero Gomez, Universidad de Castilla-La Mancha
David de Frutos Escrig, Universidad Complutense de Madrid

Abstract

Sign up for our newsletter.

EMAIL ADDRESS

IEEE COMPUTER SOCIETY

About Us
Board of Governors
Newsletters
Press Room
IEEE Support Center
Contact Us

DIGITAL LIBRARY

Magazines
Journals
Conference Proceedings
Video Library

COMPUTING RESOURCES

Jobs Board
Courses & Certifications
Webinars
Podcasts
Tech News
Membership

COMMUNITY RESOURCES

Conference Organizers
Authors
Chapters
Communities

BUSINESS SOLUTIONS

Corporate Partnerships
Conference Sponsorships & Exhibits
Advertising
Recruiting
Digital Library Institution Subscriptions

POLICIES

Privacy
Accessibility Statement
IEEE Nondiscrimination Policy
XML Sitemap

©IEEE — All rights reserved. Use of this website signifies your agreement to the IEEE Terms and Conditions.

A public charity, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.