Orlando / Sao Paulo / Montreal / Lisbon / Adelaide / New York / Newcastle / /
Company
Defence Systems / /
Country
United States / Brazil / Canada / Australia / Portugal / /
Currency
USD / / /
Facility
Computer Science Institute of Mathematics / Carnegie Mellon University / Statistics S˜ao Paulo University / /
IndustryTerm
software reliability / informal systems / /
Organization
Coloured Petri Net Approach Jorge Luis Guevara D´ıaz Department of Computer Science Institute of Mathematics / Mathematics and Statistics S˜ao Paulo University / Australian Computer Society / Carnegie Mellon University / Darlinghurst / ao Paulo University / /
Person
Carl Adam Petri / Robert Deline / Manuel Fahndrich / /
Position
guard / General / programmer / /
ProgrammingLanguage
D / R / /
ProvinceOrState
Quebec / New South Wales / Florida / New York / /
PublishedMedium
Theoretical Computer Science / /
Region
South Wales / Asia-Pacific / /
Technology
object-oriented programming / Information Technology / simulation / /
Typestate-Oriented Design A Coloured Petri Net Approach Jorge Luis Guevara D´ıaz