Jensen, Kurt.
Coloured Petri Nets Modelling and Validation of Concurrent Systems / [electronic resource] : by Kurt Jensen, Lars M. Kristensen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital.
9783642002847
10.1007/b95112 doi
Computer science.
Computer network architectures.
Software engineering.
Computer simulation.
Computer Science.
Computation by Abstract Devices.
Simulation and Modeling.
Software Engineering.
Computer Systems Organization and Communication Networks.
QA75.5-76.95
004.0151
Coloured Petri Nets Modelling and Validation of Concurrent Systems / [electronic resource] : by Kurt Jensen, Lars M. Kristensen. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital.
9783642002847
10.1007/b95112 doi
Computer science.
Computer network architectures.
Software engineering.
Computer simulation.
Computer Science.
Computation by Abstract Devices.
Simulation and Modeling.
Software Engineering.
Computer Systems Organization and Communication Networks.
QA75.5-76.95
004.0151