Synthesis of Petri Nets with Localities Journal Articles

authors

• Koutny, Maciej
• Pietkiewicz-Koutny, Marta

status

• published 

publication date

• 2009

has subject area

• 0102 Applied Mathematics (FoR)
• 0803 Computer Software (FoR)
• 0806 Information Systems (FoR)

published in

• Scientific Annals of Computer Science  Journal

keywords

• Computer Science
• Computer Science, Theory & Methods
• GALS
• Petri nets
• Science & Technology
• Technology
• concurrency
• conflict
• localities
• net synthesis
• step sequence semantics
• theory of regions
• transition systems

start page

• 1

end page

• 23

volume

• 19