by Michel Diaz
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Verification · Petri nets
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
2008
Mathematical models · Petri nets
System modeling and control with resource-oriented Petri nets
2010
Software engineering · Computational complexity
Coloured Petri Nets, Vol. 1
1992
Petri nets
Coloured Petri Nets
1997
Electronic data processing · Mathematicians, biography
Carl Adam Petri
2014
Machine theory · Petri nets
Advances in Petri nets, 1986
1987
Free choice Petri nets
2005
Petri nets · Stochastic analysis
Stochastic Petri Nets
2002
Petri nets · Machine theory
Nonsequential Processes
1988
Software Engineering/Programming and Operating Systems · Computer science
Understanding Petri Nets
2013
Pattern perception · Computers and Society
Cooperative Design, Visualization, and Engineering
2004
Electronic data processing · Distributed processing
Security Engineering
2001
Data processing · Remote sensing
Computer processing of remotely-sensed images
Computer algorithms · Distributed processing
Distributed Systems
2006
Data mining · Electronic data processing, distributed processing
Data Mining and Big Data
2016
Electronic data processing, distributed processing · Database management
Db2 11
Software engineering · Engineering
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing