( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Application of General Net Theory - A Personal History.

. Advanced Course: Net Theory and Applications, том 84 из Lecture Notes in Computer Science, стр. 401-440. Springer, (1979)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Morris Shapiro

Sergei Shapiro

Yevgeniy Shapiro

Robert M Zoske

Robert M Gillenkirch

 

Другие публикации лиц с тем же именем

Hierarchies in coloured Petri nets., , и . Applications and Theory of Petri Nets, том 483 из Lecture Notes in Computer Science, стр. 313-341. Springer, (1989)Work flow analysis., и . WSC, стр. 1122-1130. ACM Press, (1993)Generating an Algorithm for Executing Graphical Models., и . Functional Programming, Concurrency, Simulation and Automated Reasoning, том 693 из Lecture Notes in Computer Science, стр. 71-83. Springer, (1993)Formal Verification of an Arbiter Cascade., и . Application and Theory of Petri Nets, том 616 из Lecture Notes in Computer Science, стр. 205-223. Springer, (1992)The Application of General Net Theory - A Personal History.. Advanced Course: Net Theory and Applications, том 84 из Lecture Notes in Computer Science, стр. 401-440. Springer, (1979)An integrated software development methodology based on hierarchical colored Petri Nets., и . Applications and Theory of Petri Nets, том 524 из Lecture Notes in Computer Science, стр. 227-252. Springer, (1990)Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems., , , и . Specification and Verification of Concurrent Systems, стр. 140-152. Springer, (1988)A general-purpose table-driven compiler., и . AFIPS Spring Joint Computing Conference, стр. 59-65. ACM, (1964)Integrating BPR with image-based work flow.. WSC, стр. 1221-1228. ACM, (1994)Modeling an NORAD Command Post Using SADT and Colored Petri Nets., , и . Functional Programming, Concurrency, Simulation and Automated Reasoning, том 693 из Lecture Notes in Computer Science, стр. 84-107. Springer, (1993)