Work flow analysis
暂无分享,去创建一个
[1] Robert M. Shapiro,et al. Modeling an NORAD Command Post Using SADT and Colored Petri Nets , 1993, Functional Programming, Concurrency, Simulation and Automated Reasoning.
[2] Kurt Jensen. Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.
[3] Lawrence Charles Paulson,et al. ML for the working programmer , 1991 .
[4] Kurt Jensen,et al. Coloured Petri Nets: Modelling and Validation of Concurrent Systems , 2009 .
[5] Grzegorz Rozenberg,et al. High-level Petri Nets: Theory And Application , 1991 .
[6] Robert M. Shapiro,et al. An integrated software development methodology based on hierarchical colored Petri Nets , 1990, Applications and Theory of Petri Nets.
[7] Robert Harper. Introduction to standard ml , 1986 .