Publications

On the Verification of Non-Autonomous Petri Net Models Using Autonomous Petri Net Tools

AuthID
P-005-42A

Author(s)

Barros, JP

Gomes, L

Costa, A

Document Type

Proceedings Paper

Year published

2012

Published

in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012) in IEEE Industrial Electronics Society, ISSN: 1553-572X

Pages: 6138-6143 (6)

Conference

38Th Annual Conference on Ieee-Industrial-Electronics-Society (Iecon ), Date: OCT 25-28, 2012, Location: Montreal, CANADA, Sponsors: IEEE, IEEE Ind Elect Soc (IES), Host: Univ Quebec, Ecole Technologie Superieure Montreal (ETS)

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/iecon.2012.6389077

Scopus: 2-s2.0-84872927291

Wos: WOS:000316962906009

Source Identifiers

ISSN: 1553-572X

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

On the Verification of Non-Autonomous Petri Net Models Using Autonomous Petri Net Tools

Useful Links

Get Help

Federated Authentication (Click on the image)

On the Verification of Non-Autonomous Petri Net Models Using Autonomous Petri Net Tools

Useful Links

Get Help