subjectheading:[Petri nets.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Petri nets.]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Petri-Netz basierte verifikation von funktionalen testfallen / Sebastian Thiel. Thiel, Sebastian, author. Gottingen, [Germany] : Cuvillier Verlag, 2012. 2012 TA347.N46 .T454 2012 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Petri nets : theoretical models and analysis methods for concurrent systems / Guanjun Liu. Liu, Guanjun, author. Singapore : Springer, 2022. QA267 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Modeling business processes : a petri net-oriented approach / Wil van der Aalst and Christian Stahl. Aalst, Wil van der, author; Stahl, Christian, 1978- author. Cambridge, Mass. : MIT Press, 2011. ©2011 HF5548.2 .A227 2011eb \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Elements of distributed algorithms : modeling and analysis with Petri nets / Wolfgang Reisig. Reisig, Wolfgang, 1950- author. Berlin, [Germany] ; Heidelberg, [Germany] : Springer, 1998. ©1998 QA76.9.D5 .R457 1998 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Carl Adam Petri : ideas, personality, impact / Wolfgang Reisig, Grzegorz Rozenberg, editors. Reisig, Wolfgang, 1950-; Rozenberg, Grzegorz. Cham, Switzerland : Springer, [2019] QA267 .C37 2019 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Modeling discrete-event systems with GPenSIM : an introduction / Reggie Davidrajuh. Davidrajuh, Reggie, author. Cham, Switzerland : Springer, 2018. T57.62 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Distributed embedded controller development with petri nets [electronic resource] : application to globally-asynchronous locally-synchronous syst[...] Moutinho, Filipe, author.; Gomes, Luís, 1958- author. Cham : Springer, [2015] ©2016 TK7895.E42 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Petri net synthesis [electronic resource] / Eric Badouel, Luca Bernardinello, Philippe Darondeau. Badouel, Eric, author.; Bernardinello, Luca, author.; Darondeau, Philippe, author. Berlin : Springer, 2015. QA267 \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Property-preserving petri net process algebra in software engineering [electronic resource] / Hejiao Huang ... [et al.]. Huang, Hejiao. Singapore : World Scientific Pub. Co., 2012. QA267 .H83 2012eb \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Augmented marked graphs [electronic resource] / King Sing Cheung. Cheung, King Sing, author. Cham : Springer, 2014. QA267 \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.