Verifying Petri Net-Based Process Models using Automated Planning

MLA

Simone Agostinelli, et al. Verifying Petri Net-Based Process Models Using Automated Planning. Jan. 2019. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....196c6c9aaa8e2bdaa2d6b9db40a9c3ee&authtype=sso&custid=ns315887.

APA

Simone Agostinelli, Andrea Marrella, Massimo Mecella, & Fabrizio Maria Maggi. (2019). Verifying Petri Net-Based Process Models using Automated Planning.

Chicago

Simone Agostinelli, Andrea Marrella, Massimo Mecella, and Fabrizio Maria Maggi. 2019. “Verifying Petri Net-Based Process Models Using Automated Planning,” January. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....196c6c9aaa8e2bdaa2d6b9db40a9c3ee&authtype=sso&custid=ns315887.