Modelling Mobility in High-level Petri Nets Conferences

authors

• Devillers, Raymond
• Klaudel, Hanna
• Koutny, Maciej

status

• published 

publication date

• July 2007

published in

• Proceedings - International Conference on Application of Concurrency to System Design, ACSD  Journal

presented at event

• Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)  Conference

keywords

• CALCULUS
• Computer Science
• Computer Science, Software Engineering
• Computer Science, Theory & Methods
• KLAIM
• Petri nets
• SEMANTICS
• Science & Technology
• Technology
• behavioural consistency
• compositional translation
• mobility
• process algebra

Digital Object Identifier (DOI)

• 10.1109/acsd.2007.55

International Standard Book Number (ISBN) 13

• 978-0-7695-2902-8

start page

• 110

end page

• +