Publications

Modifying Petri Net Models by Means of Crosscutting Operations

AuthID
P-000-KPK

Author(s)

Barros, JP

Gomes, L

Editor(s)

Lilius, J; Balarin, F; Machado, RJ

Document Type

Proceedings Paper

Year published

2003

Published

in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS

Pages: 177-186 (10)

Conference

3Rd International Conference on Application of Concurrency to System Design, Date: JUN 18-20, 2003, Location: Guimaraes, PORTUGAL, Sponsors: IFIP WG10 5 & SIG ES, Colegio Engenharia Informat Ordem Engenheiros Portuguesa, Formal Methods Europe, ACM SIGSOFT, ACM SIGDA, European Union Asynchronous Circuit Design Working Grp

Indexing